Local changes to .gitignore
DeltaGroupoid: add comment
Reformat comment