Concerns about @-syntax conflicting with JSDoc

@-properties in comments are widely used in JSDoc. Maybe we should change to some other prefix to avoid confusion and naming conflicts.

E.g. some time in the future we may want to add `@Author` fundoc comment which will be conflicting with JSDoc tag of the same name.