4.7. Other

The Other page of the Preferences dialog contains miscellaneous options that can be nice to be able to adjust.