Timon Gehr:
This is uncalled for.
I didn't mean to offend, sorry for the unneeded (light) sarcasm. While generally you seem expert in computer science and many other things, in several of your post you seem to dismiss a little too much practical considerations.
Bye, bearophile
