On Thu, 29 Jul 1999, Michael Stone wrote: > Rather than dragging this up again, you could look in the archives to > see what the result of this discussion was when we had it a couple of > months ago. Sorry, I wasn't aware of this fact. Yes, lets stop this discussion and let it stay under local maintainers fingers. Kind regards Andreas.