FLUID-5161: Renamed "User Interface Options" to "Preferences Editor".