for a now-vanished group.  Instead, display the numeric group ID, same
as it does for vanished users.