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

Reply via email to