Issue #2998769 by kiamlaluno, quietone, kkalaskar: @see directive used in the wrong place outputs the wrong HTML markup (cherry picked from commit 6d98f6bf)