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