On 08/26/2013 01:18 AM, bearophile wrote: > Timon Gehr: > >> This is uncalled for. > > I didn't mean to offend, No offence taken. > sorry for the unneeded (light) sarcasm. Well, this kind of thing does not propagate too well over the Internet.