>>>>> Hilmar Preusse <hille42@web.de> writes: [...] > Another incarnation of #483966 and friends. I'm leaving this bug > now on texinfo to make sure, we won't get it a fourth time. Indeed, I should've checked the texlive-bin bug reports, too. [...]