He made quite a few useful videos demoing it.

@ian Adding this to your help page would be helpful.

https://www.youtube.com/@ianthehenry/search?query=livecoding