Re: Documentation about @url is confusing

[Gavin Smith]

On Tue, Feb 19, 2019 at 07:19:09PM +0000, Gavin Smith wrote:
> Yes, this is confusion.  I propose we mainly document it as @url and 
> mention that @uref is a synonym.

Done in commit a617cd8.  (I meant to say "this is confusing".)