Ah, thank you! Searching for "gnufont" brought me to[1], which looks pretty nice indeed.

[1]: https://www.gnu.org/software/freefont/