Oh, that's in https://news.ycombinator.com/formatdoc https://news.ycombinator.com/formatdoc. I've fixed your GP comment now. Btw it's on my list to change this

Oh, that's in https://news.ycombinator.com/formatdoc https://news.ycombinator.com/formatdoc. I've fixed your GP comment now. Btw it's on my list to change this "two newlines to get a blank line rule", or at least to look closely at changing it.