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.