Update docs, removing $Id$ and linking to repo.or.cz.