In vanilla Ubuntu (and Kubuntu), Times seems to point to the real-world font FreeSerif. In Linux Mint, it's something else — not exactly sure what the font is called, but it's one I decidedly don't like.
So, the question: How does one change the real font Times points to?
(And yes, I know I could just change the default font to FreeSerif, but I'd rather like to do it this way, if at all possible.




