--theseus-exclude=glob