Fix weird unescaping in urls in dox