nightly-2022-07-24

Changes since nightly-2022-07-23:

• Relaxed antiquotation parsing further reduces the need for explicit $x:p antiquotation kind annotations.

Full commit log

• 6a767a6 perf: reduce Lean.Parser.Basic imports
• e589185 doc: update RELEASES.md
• 5160cb7 refactor: remove some unnecessary antiquotation kind annotations
• cf38095 fix: regression from previous commit
• 29b7289 chore: update stage0
• b1a9c58 feat: relax eager antiquotation parsing
• 9e97862 doc: fix minted example