Fix the links from admin docs to user docs for maven repository. User
doc was moved from maven to maven_repository, breaking
all links from admin docs.