GitLab

a call to existing routine in showstuff. Also changed the interface
to SHOWGROUPMEMBERS() so that priv people get a "remove from project"
option when showing the default group membership. Yes, project leaders
can now delete users from their project.