Comment by Raphael_Amiard

Which is a very good reason not to make a post on HN afterwards.