Courses
Library
Tools
Python IDE
The in-browser IDE the lesson embeds run on (python-online). Opens in a new tab.
Edit lessons
Run python3 scripts/author_server.py, open a course above,
then sign in with Admin and use Edit page.
Markdown stays the source of truth.