development.7: Fix the git documentation URL.