Incidentally, what is that distinctive font that seems to be used by every academic paper (and this website)? And is there a story behind its ubiquity?