Discovered: Nov 13, 2020. Quick Tinker With Raspberry Pi 400 - including jupyter in a docker container!!! Leave a comment on github