Fixing links to dev and user docs