Perhaps this can be taken care just by mentioning
in the documentation somewhere (if you don't have times/helvetica
installed, similar fonts are loaded).
yup, seems like a good place to do this.
By the way, it says I can get other fonts by using quotes, such as in pd -font-face "Zapf Dingbats"
but using quotes doesn't work for me when trying to load a font like "Times New Roman", it'll only understand "Times" and ignore the rest. Moreover, it screws up when trying to open Starup again, as it can't really.
It doesn't seem worth doing more than
that and trying to ship the same group of 3 fonts like we're doing with
dejavu, right?
We could do that by shipping DejaVu Sans and DejaVu Serif
https://dejavu-fonts.github.io
"DejaVu Serif", "Times New Roman", Times, serif
"DejaVu Sans", Arial, Helvetica, sans-serif
Or, alternatively, choose a "safer fonts" than Helvetica and Times but I feel that will still not guarantee as close a match as using the exact same font on all platforms. As we have seen, it's working relatively well with DejaVu Sans Mono.