Yes, but several hours later than my post on HN. I found and posted it while it was morning in Europe while people were still sleeping in the US.