Thread:VisualEditor/Feedback/Categories/reply (3)

Yes, though we have very carefully used the term "preferences" for users rather than "settings", I worry that this distinction may not have been kept clear in other languages.