Remove personal files from .gitignore.
Rename max(SimpleCollection) to maxIndex(...).