Thread:Project:Support desk/User Preference descriptions - Where stored & changed, and where documented? - How to mark the "defaults"?/reply (10)

Right, filed as https://bugzilla.wikimedia.org/show_bug.cgi?id=68689