RFR: JDK-8300914: Allow `@` as an escape in documentation comments [v2]

[Jonathan Gibbons]

On Fri, 3 Feb 2023 18:57:06 GMT, Jonathan Gibbons <jjg at openjdk.org> wrote:

>> Note that all the proposed escape sequences are context-sensitive, and are only enabled in appropriate circumstances.
>
> updated code, comments and spec.

> (FWIW, @jonathan-gibbons, note that the caret positions differ: the former points to / while the latter points to @. )

I see the problem and think I understand the fix, but it is unrelated to the work here.  I'll defer this to a separate JBS issue and PR.

-------------

PR: https://git.openjdk.org/jdk/pull/12372