Favonia-ize Algebra.Groups.
Further Favonia-ize Algebra.Groups.
Add Homotopy.Cover to the index.
Move things out of Homotopy.Cover.
Restructure files.
Add comments about whisker.