Oh, that's in 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.