Use url() for docs links

Better form.  Much better form.