Should this be a separate `@` tag or part of a different comment block?