chort [1] filed a deletion request for ido [2]: ido-ubuntu exist since 2016 https://aur.archlinux.org/packages/ido- ubuntu
[1] https://aur.archlinux.org/account/chort/ [2] https://aur.archlinux.org/pkgbase/ido/
- [PRQ#39027] Deletion Request for ido notify
