Context English Interlingua State
prefs.editor.highlight Syntax highlighting:
prefs.expandline Expand to long lines:
prefs.quote.italic Quote text in italics:
prefs.warn.security TLS security warnings:
keys.bang Enter a snippet query
keys.split.menu Set view split mode
keys.split.item Split view menu:
keys.feeds.showall Sidebar: Show all feed entries
keys.feeds.showunread Sidebar: Show unread feed entries
error.badheader.msg The received header does not conform to the protocol specification. Perhaps the server is malfunctioning or does not support this protocol.
error.incompleteheader.msg The server's response did not contain a complete header. Perhaps the server is malfunctioning, or you tried to contact a non-Gemini server.
error.badredirect.msg The server responded with a redirect but did not provide a valid destination URL. Perhaps the server is malfunctioning.
error.schemeredirect.msg The server attempted to redirect us to a URL whose scheme is different than the originating URL's scheme. Here is the link so you can open it manually if appropriate.
error.manyredirects.msg You may be stuck in a redirection loop. The next redirected URL is below if you want to continue manually.
error.certexpired.msg Connection to the server was cancelled because its TLS certificate has expired.
error.proxyexpired.msg The connection was cancelled because the proxy server's TLS certificate has expired.
error.certverify.msg Connection to the server was cancelled because its TLS certificate does not match the one we trust. Please check if the server has announced a certificate change. If not, it is possible that a malicious third party is masquerading as the server you tried to reach.

The certificate can be marked as trusted in Page Information.
error.proxyverify.msg Connection was cancelled because the proxy server's TLS certificate does not match the one we trust.

The proxy server's certificate can be marked as trusted in Page Information.
error.temporary.msg The request has failed, but may succeed if you try again in the future.
error.cgi.msg Failure during dynamic content generation on the server. This may be due to malfunctioning serverside software.