yochananmarqos [1] filed a deletion request for micro-bin [2]: Not much point in this sticking around since micro is in the community repo now. [1] https://aur.archlinux.org/account/yochananmarqos/ [2] https://aur.archlinux.org/pkgbase/micro-bin/