Rather than the somewhat arcane setup instructions, it would be convenient and more stable to have a Docker container configured for testing layup list locally. This could also be configured to work with Gitpod, which students get for free for some time with the Github student dev pack.