[carlesfe]

I'm a fellow user of the VGA font in terminals, it's just so satisfying to use! On text editors I use the default font, though