Spoke too soon I see: the ’fix’ I linked to only fixed this for logged in users (whose comments didn’t have proper paragraphing either, on my site).