Let's populate MakeCode with blocks an Wiki with plugins that work together in open-ended ways. Notes appear here first and maybe drift into topic specific pages.
todo
Figure out if and how a client-side plugin can stream data over usb from a microbit. If not client, try server side. Repeat for RPi Zero W running wiki. See WebUSB API
Writing data with microbit. makecode 
tips
You can run wiki with no login if you are the only user.
npm install -g wiki wiki -p 3010 --security_legacy
If you have a pi on your lan you can host a farm by adding its lan address into the public dns with a wildcard.
A *.pi.coolschool.edu 172.0.1.153