ainola [1] filed a deletion request for redox [2]: Out of date for years, no official release so this shouldn't exist. [1] https://aur.archlinux.org/account/ainola/ [2] https://aur.archlinux.org/pkgbase/redox/