polyzen [1] filed a deletion request for pyright [2]: This package has been added to the repos, thank you! [1] https://aur.archlinux.org/account/polyzen/ [2] https://aur.archlinux.org/pkgbase/pyright/