I can agree with this. It's especially wonderful without aliasing on an even multiple Retina display. For example, 2x on a 5k Monitor (iMac, LG Ultrafine) or MacBook Pro. It's simple, clean, tried and true.
Monaco 9 in BBEdit :)
"Monoid" in the linked article made me think of it immediately.
Exactly what I was thinking - most of my earliest coding experiences involved editing 9-pt Monaco in BBEdit!! heheh :)