Git/Svn numbers

Hello, Peter.

But it seems that there is no full history at repo.or.cz.

Yes, it was mirrored since r40000. Also, don't expect frequent updates,
because I'm doing them from time to time only.