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