Settings

Full settings UI lands in a follow-up. For now, use the theme toggle in the top-right header.