500 times the same font

[gimpoid]

Yes it worked! But users of mint must remember not to use 'software center' to install the font-manager. That one installs a flatpak, that doesn't work. (probably due to file permissions). Installing it via synaptic or apt install font-manager does work.