Always write auto-install-extensions to prefs

This is for #9770.
Auto installed package can have multiple extensions, right? If so, I think your comment should refer to "these extensions" instead of "an extension".