Where do those magical commands come from (app.commands.execute)?

JupyterLab extensions
2

These are application-level lumino commands and are covered by a number of documentation sources:

Some full examples:

2 Likes