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