bogus comments on Open Thread May 9 - May 15 2016

[bogus]

http://​​us.metamath.org ?