I could never make that VGA font look good on MacOS... on Windows fonts like 6x13 looked fine. In the meantime I also changed from FHD to 4K-but-scaled display so...
yeah i temporarily have to use a 4k monitor and am realizing that eventually I'm going to have to give that font up. with 100% scaling it looks good but is way too small.