Make the user manual link load the pdf. fixes #97