This is a bit of an experiment from a request on Twitter - I've added a .fnt version of the 13px variant generated by BMFont.

I've never used bmp fonts, and I don't really know how they work, so no guarantees that it's functional! Please let me know if there's any issues and I'll do my best to resolve them, and if anyone has experience working with bmp fonts and can offer guidance I'd really appreciate it :)