MarsSeed [1] filed a deletion request for microbin-bin [2]: Hit-and-run - created and orphaned promptly. Not needed, there's AUR/microbin with a maintainer.
[1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/microbin-bin/
