Issue #3037922: Allow theme developers to add the default favicon filename to the theme's .info.yml