[This line](https://github.com/cedar-policy/cedar-docs/blob/7848166bc5d5a3f31fa844372b8ed01445689fd3/docs/collections/_policies/syntax-grammar.md?plain=1#L154) states that annotation names should be `IDENT`s, which was true until [this PR](https://github.com/cedar-policy/cedar/pull/634) was merged. The grammar should now allow any `IDENT | RESERVED` there. Or maybe the new `AnyId` concept in the Rust parser could be immortalized in the grammar.