Actually I've now posted dragonrace.minidisk here for anyone to use! See the devlog for instructions (basically: download Mini Micro and the dragonrace.minidisk file, and load the latter in the former).
