generate `\url` as `<url>` (see #69)
export