Peer-to-peer collaborative code playground in a single 0.5 MB HTML filegithub.com/micouy1 pointmicouaya month ago