Convert /href{} to /url{} in manual