`<code>...</code>` instead of `{@code ...}`?