Hi fellow TeX maintainers! So, what do we do about this bug? The fix is rather simple; I can upload a fixed package and explain the matter to the RMs if you wish. I'd rather not release etch with this ugliness... I hope you're all doing well. Merry Christmas! -- Florent