It seems that the current linter does not accept `@example`. I'll add it with a normal comment.