I'd would be nice to have some more font sizes to be chosen from - maybe many developers and programmers spending a lot of their time creating their on custom fonts...
What about sharing these fonts to get a nice collection of optimized fonts?
Here's my first attempt (not absolutely perfect, but a start) which is a slightly larger than the TINY onces (of course, I couldn't upload the font to the forum, so here are the links) :
Definition file
Image