https://bugs.documentfoundation.org/show_bug.cgi?id=132458
--- Comment #10 from Adolfo Jayme Barrientos <[email protected]> --- I think we should drop the old Preferences-vs.-Options dichotomy. These days, both macOS and Windows have converged in the term “Settings”. -- You are receiving this mail because: You are the assignee for the bug.
