This report is a revised version of Bug#413970, which I filed about a decade ago and which nobody ever replied to.
It would be handy if someone would reply to this report, even just to let me know what they think of my proposed new description. :) -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
