message: doc: add reference to `!bench` comment
diff: @@ -89,6 +89,13 @@ When creating a new pull request, it's preferable to use a conventional commit-f
  Here are some other scripts that you might find useful.
  +#### If you are a core contributor
  +
  +If you are a core contributor, and you have access to create new branches
  +from the main repository (not a fork), use these comments to run specific workflows:
  +
  +- `!bench` benchmarks the parser's runtime performance and writes a comment with the results
  +
  #### Naming patterns
  1. Forbid a concept
  