Plan 9 from Bell Labs’s /n/sources/patch/applied/venti-arena/readme
more venti bug fixes fix bug that let sealed arenas have new blocks added (oops)