Tiny GUI Interface change

Feature
1

Hi,

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.

Thanks,

===Rich

2

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.