All: if you comment in this thread, make sure your comments are substantive and that they stay off the nationalistic indignation track. That is all too easy to fall into, and it's off topic here.

https://news.ycombinator.com/newsguidelines.html