Always write extensions to prefs

This is for #9770.