Vladimir_Nesov comments on Open & Welcome Thread—August 2019