git-annex-ungroup(1) on Linux

The text 27e889c3bb1e, as Debian 11 (Bullseye), Debian 10 (Buster), Debian 9 (Stretch) shipped it.

remove a repository from a group

git-annex-ungroup(1) on Linux now