From an email to javadoc-dev

Using javadoc 23-ea the following snippet is not handled the way I would
expect from the specification in JEP 467:

     /// @Override
     /// void m() {}
     ///
     /// Plain text
     ///
     /// @Override
     /// void m() {}
     public void m() {}

First, javadoc complains on the first line that @Override is an unknown
tag. But due to the indentation it should be parsed as code, not as a
javadoc tag.

Second, when I remove the offending line (or move it down one line),
then the first code block is correctly rendered, but the second,
trailing code block is silently dropped.