A collection is a repository, let's just call it that.

A 'collection' was supposed to mean a git repository with a home/ dir in it,
but there's no need for special terminology for that, and it just confuses
matters. This is now fixed.