I ended up with Roboto Mono, a font I used to use before I switched from Linux to Mac for my daily drivers. I'm not the kind of person who can identify a font by name simply by looking at it, so I was pleasantly surprised! I chose it more or less at random back in 2012.