fix: built-in parser attributes link to the wrong place

[digama0]

Go-to-def on @[builtin_term_parser] should go to the line

builtin_initialize registerBuiltinParserAttribute `builtin_term_parser ``Category.term

not

/-- `term` is the builtin syntax category for terms. ... -/
def term : Category := {}