I find "agda --html" very useful and I use it very often. Is there a way of having links to other web pages, for the purposes of citation, using this, similar to latex's \url{...}? Martin