wkd url
Consider:
$ sq wkd url wk@gnupg.org
https://openpgpkey.gnupg.org/.well-known/openpgpkey/gnupg.org/hu/nq6t9teux7edsnwdksswydu4o9i5es3f?l=wk:443
Why is there a :443 at the end of the URL? I haven't found it in https://tools.ietf.org/html/draft-koch-openpgp-webkey-service-08 . The example also doesn't have something like that:
https://example.org/.well-known/openpgpkey/ hu/iy9q119eutrkn8s1mk4r39qejnbu3n5q?l=Joe.Doe
grepping for 443 doesn't turn anything up
I suspect that :443 was intended to be the port. Is that right? If we are specifying https, do we really need it?