Fix link to docs' Github repo