about.html: Girocco is in girocco.git, not repo.git