MarsSeed [1] filed a deletion request for micromanager-git [2]: Unused orphan Python2 + Java package from 2017. Not a VCS package: source is a pinned commit.
But it seems no one adopted it for all these years, so I think it's safe to delete now. [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/micromanager-git/
