Vladimir_Golovin comments on Open thread, July 10 - July 16, 2017

[Vladimir_Golovin]

Thomas, thank you for setting up the poll! Somehow this didn’t occur to me.