Rereading the message I just submitted here, I realized it could easily
be misinterpreted. It's meant as yet another suggestion, not a
description of how things work. I'm sorry for not being clear about
that.

Also, just after sending it I got the message from Joachim Neubueser
asking that we consider a bit more carefully before making such
suggestions. Probably I should have done that, too.