"Type: Proof":
  - Comanche055/*.*
  - Luminary099/*.*
"Type: Meta":
  - README.*
  - CONTRIBUTING.*