coqPackages.ynot: remove broken tag