Live coding 24/11/2023 10:00:

Docker image available: