Viliam comments on Open thread, Dec. 12 - Dec. 18, 2016

[Viliam]

Thanks, didn’t know about that!