Ok, this is new information. Thanks.
But: I don’t see an entry
SYSTEM > MODS.
I double checked that I have it installed (assuming that the entry appear if you have at least installed one mod):
;install https://github.com/p3r7/gridkeys starting... install failed: project gridkeys already exists in /home/we/dust/code
My SYSTEM menu contains:
devices, wifi, restart, reset, update… and that’s it.