bug #625 xref links containing \u don't seem to be working
 improve comment why we can change \ to /