Replying to "SearchPluginMenuResource has wrong default value"