Why would he miss the best of all? DejaVu Sans Mono. This font is the only thing I come back to decade after decade. There's too much good to say about it.