Fix PDF build of Userguide

The registered trademark symbol in a URL makes PDF generation unhappy.
URL escaping allows the URL to function and the PDF generation to work.