How can it be that agda.sty is causing problems for publications at #TyDe? Surely there have been literate #Agda papers published there before?