I’ve not checked but it is very easy to hit the ‘reset to defaults’ on the settings screen.

Do students pick shorter (or less descriptive) identifiers to avoid getting docked? Do they get docked for identifiers that are too dense? Are German students allowed longer lines than Chinese? Then there is APL. I’d better get back to work.