Sorry: my last paragraph was wrong. With hyperref's \url it should not matter if an http server re-writes the href values in an html <a>-element.
-- Bill
Sorry: my last paragraph was wrong. With hyperref's \url it should not matter if an http server re-writes the href values in an html <a>-element.
-- Bill