This mailing list is a community service. The present discussion has run its course and is not contributing anything to the community anymore. At present its only purpose is bickering and reiterating of opinions that have already been stated multiple times. I am therefore locking it.
The mailing list owner,
Andrej Bauer