Hello Maybe we should have the more heated discussion on irc, to avoid spamming the mailing list too much. I would propose #shootout (just checked and it was empty) on freenode (irc.freenode.net). - Einar Karttunen