Just built 0x800; find it here: http://pages.cs.wisc.edu/~sohn/0x800/.

Source: https://github.com/jaredsohn/0x800.

(I was already working on a binary derivative at the time, but figuring out the font sizes is a little tedious.)