Tiny GUI Interface change


I wonder if in the GUI Advanced Options Dialogue, you could change:

Debugging -> GUI Debugging
Enabled -> GUI Enabled

I know it’s redundant, given where these options are placed, but it just makes the options more obvious and readable, a sort of cognitive nudge.



PRs welcome, especially when they can be done via the github web editor where you don’t even need to know how to use git.