Display IRI instead of URI for the info page
authorAlex Schroeder <alex@gnu.org>
Sat, 21 Aug 2021 19:16:27 +0000 (21:16 +0200)
committerAlex Schroeder <alex@gnu.org>
Sat, 21 Aug 2021 19:18:56 +0000 (21:18 +0200)
commit9213f564dcae90f74366bd99f28640d0c62aa89b
treec373c1ff8dc0a094e01cadc651f202a015193862
parenta3e7e8c83380707b0aacb7f048eb9b3a99526a16
Display IRI instead of URI for the info page

elpher-info-page ('i') is called to show the URL to a human, so use
the IRI. Useful for such pages as gemini://namu.blue/
elpher.el