Now I feel stupid, but it's quite possible that it has been patched during a yearly service.
Reply on news.ycombinator.com