lopsided98 [1] filed a deletion request for python-sphinx-rtd-theme [2]: This package already exists (with underscores rather than dashes in the name) in the official repository. A strange combination of mistakes prevented this package from causing a conflict with the official one when I installed it on my computer, so I submitted it to the AUR anyway. [1] https://aur.archlinux.org/account/lopsided98/ [2] https://aur.archlinux.org/pkgbase/python-sphinx-rtd-theme/