In HTML5, a leading newline character is ignored if it immediately follows a <pre> element start tag[1].

[1] https://html.spec.whatwg.org/#the-pre-element:syntax

Unfortunately, this does not apply when the newline character is preceded by a <code> or {@code tag, resulting in an leading blank line in the generated output.

DocCommentParser should take care of this very common case by removing a newline immediately following a <code> or {@code tag at the beginning of <pre> element content.