> > Yeah, but if the group is a "pseudogroup", it doesn't. And apparently, an > > empty group qualifies as a pseudogroup. > > Unless it is in interesting.groups. In the 1.10.2rel tarball I have, the bit in is_pseudogroup() about interesting groups is commented out.