Small addition to docs

README.md

@@ -155,6 +155,7 @@ Check out the [JSON tutorial](/docs/json_tutorial.md#conclusion) for more detail
  - [miniwdl](https://github.com/chanzuckerberg/miniwdl) - A static analysis toolkit for the Workflow Description Language
  - [pytreeview](https://gitlab.com/parmenti/pytreeview) - a lightweight tree-based grammar explorer
  - [harmalysis](https://github.com/napulen/harmalysis) - A language for harmonic analysis and music theory
+ - [gersemi](https://github.com/BlankSpruce/gersemi) - A CMake code formatter
 
 Using Lark? Send me a message and I'll add your project!
 

docs/grammar.md

@@ -112,6 +112,8 @@ Terminals can be assigned priority only when using a lexer (future versions may
 
 Priority can be either positive or negative. If not specified for a terminal, it defaults to 1.
 
+Highest priority terminals are always matched first.
+
 ### Regexp Flags
 
 You can use flags on regexps and strings. For example: