Other settings

A few controls don't belong to any one feature.

Help — Opens this help page in your browser, in your current language.

Open settings — Opens the Settings dialog, which has a Display tab and an About tab.

Language — Chooses the language for the app's interface and for the help page the Help button opens.

Theme — Switches the app between a light and a dark appearance.

The header also carries a GitHub button — a small icon that opens the app's source-code repository in your browser, handy for reporting an issue or seeing how it works.