Comment by fionaellie

unrelated, but I wonder if anyone can identify the terminal font used in the screenshot? I am looking for a good (free) serif monospaced font.