"Type: Proof":
  - "**/*.agc"
"Type: Meta":
  - "**/MAIN.agc"
  - "**/*.md"
  - "*.md"