Shmi comments on Open thread, July 29-August 4, 2013

[Shmi]

Ah, yes, thanks. I wondered why I couldn’t find it :) Hmm, I thought it was longer...