StevenSeifried [1] filed a deletion request for tuxedo-wmi [2]: Will be replaced by tuxedo-wmi-dkms [1] https://aur.archlinux.org/account/StevenSeifried/ [2] https://aur.archlinux.org/pkgbase/tuxedo-wmi/