gwern comments on Awful Austrians