There's some sort of settings framework that lets us easily save key/value pairs to a JSON file or something, and also handles issuing events to listeners that are interested in settings changes.
There's a WinForms app that will show at launch and let the user change settings. (Right now there are none, so it can just be a simple enabled/disabled checkbox as a test for the settings framework.)
This is done when: