@kingcons@tiny.tilde.website I was shocked by the size of Plan 9. This makes it an excellent pedagogical resource indeed.