Hi Hilmar,
Well, then... Why do you report an issue for Package: texlive-fonts-extra Version: 2019.20191208-1 Severity: important ...if you don't have that version installed?
Hmm... I did not change anything by hand to what "reportbug" had observed or computed. So what must have happened is that I sent the initial bug report from the machine where I had first observed it, but later on I copy-pasted messages generated on another computer. Sorry, my fault. These two computers, one at work, the other at home, are supposed to be clones; I now know that they are not exact clones. I confirm that one computer (the one for the initial bug report) says 2019.20191208-1 and the other one 2018.20190227-2 .
Kind regards, Sébastien.