@pypingou i can add https://apps.fedoraproject.org/datagrepper/raw?package=nethack&order=desc&fedpkg=true ?