Kent Johnson wrote: > The way to make this change happen is to submit a bug report with your > suggested change. See the link at the bottom of the above page to find > out how. I know, but I wanted to see at least one person assenting before doing so. Anyway, I took your words as assent and filed a bug report now ;-) -- Christoph