\.l?agda\.el$
\.agdai$
(^|/)MAlonzo($|/)
^dist($|/)
^html($|/)
^Everything\.agda$
