Oops, document repos' diff/ directories in the manpage!