Oh, this turns out to be a line ending issue where `\r\n` is incorrectly processed as a double newline.
Bug 1528442 Comment 12 Edit History
Note: The actual edited comment in the bug view page will always show the original commenter’s name and original timestamp.
Oh, this turns out to be a line ending issue where `\r\n` is incorrectly processed as double newlines.