re: #50 CuriousLurker

He must have deleted it very quickly. I searched several places and didn’t find anything.