Good call. I should've remembered it. At a size of 8 or 9, I much prefer DejaVu Sans Mono where it's more readable but packs in more lines. However, I'd say anything 10+ I start to prefer Ubuntu Mono much more 'cause the letters are more balanced and not too tall.