caching web client in main program: handle cases where the response is empty

2 files changed, 114 insertions, 114 deletions

diff --git a/po/fr.po b/po/fr.po
index b4207a6..b0c84e5 100644
--- a/po/fr.po
+++ b/po/fr.po
@@ -2,7 +2,7 @@ msgid ""
 msgstr ""
 "Project-Id-Version: webid-oidc 0.0.0\n"
 "Report-Msgid-Bugs-To: vivien@planete-kraus.eu\n"
-"POT-Creation-Date: 2021-07-06 10:37+0200\n"
+"POT-Creation-Date: 2021-07-06 11:39+0200\n"
 "PO-Revision-Date: 2021-07-06 10:39+0200\n"
 "Last-Translator: Vivien Kraus <vivien@planete-kraus.eu>\n"
 "Language-Team: French <vivien@planete-kraus.eu>\n"
@@ -987,15 +987,15 @@ msgid "Warning: ~a\n"
 msgstr "Avertissement : ~a\n"
 
 #: src/scm/webid-oidc/hello-world.scm:48 src/scm/webid-oidc/example-app.scm:116
-#: src/scm/webid-oidc/program.scm:156
+#: src/scm/webid-oidc/program.scm:159
 msgid "command-line|version"
 msgstr "version"
 
-#: src/scm/webid-oidc/hello-world.scm:50 src/scm/webid-oidc/program.scm:158
+#: src/scm/webid-oidc/hello-world.scm:50 src/scm/webid-oidc/program.scm:161
 msgid "command-line|complete-corresponding-source"
 msgstr "code-source-correspondant-complet"
 
-#: src/scm/webid-oidc/hello-world.scm:52 src/scm/webid-oidc/program.scm:160
+#: src/scm/webid-oidc/hello-world.scm:52 src/scm/webid-oidc/program.scm:163
 msgid "command-line|help"
 msgstr "aide"
 
@@ -1003,11 +1003,11 @@ msgstr "aide"
 msgid "command-line|port"
 msgstr "port"
 
-#: src/scm/webid-oidc/hello-world.scm:56 src/scm/webid-oidc/program.scm:190
+#: src/scm/webid-oidc/hello-world.scm:56 src/scm/webid-oidc/program.scm:193
 msgid "command-line|log-file"
 msgstr "fichier-journal"
 
-#: src/scm/webid-oidc/hello-world.scm:58 src/scm/webid-oidc/program.scm:192
+#: src/scm/webid-oidc/hello-world.scm:58 src/scm/webid-oidc/program.scm:195
 msgid "command-line|error-file"
 msgstr "fichier-erreur"
 
@@ -1066,12 +1066,12 @@ msgstr ""
 "      redirige la sortie d’erreur du programme vers ce fichier.\n"
 
 #: src/scm/webid-oidc/hello-world.scm:103
-#: src/scm/webid-oidc/example-app.scm:159 src/scm/webid-oidc/program.scm:446
+#: src/scm/webid-oidc/example-app.scm:159 src/scm/webid-oidc/program.scm:449
 #, scheme-format
 msgid "~a version ~a\n"
 msgstr "~a version ~a\n"
 
-#: src/scm/webid-oidc/hello-world.scm:112 src/scm/webid-oidc/program.scm:454
+#: src/scm/webid-oidc/hello-world.scm:112 src/scm/webid-oidc/program.scm:457
 msgid ""
 "You are legally required to link to the complete corresponding source code.\n"
 msgstr ""
@@ -1233,12 +1233,12 @@ msgstr ""
 msgid "There was an error: ~a\n"
 msgstr "Il y a eu une erreur : ~a\n"
 
-#: src/scm/webid-oidc/program.scm:85
+#: src/scm/webid-oidc/program.scm:88
 #, scheme-format
 msgid "~a: ~a: Internal server error: ~a\n"
 msgstr "~a : ~a : Erreur interne du serveur : ~a\n"
 
-#: src/scm/webid-oidc/program.scm:98
+#: src/scm/webid-oidc/program.scm:101
 #, scheme-format
 msgid ""
 "The client locale ~s can’t be approximated by system locale ~s (because ~a), "
@@ -1247,73 +1247,73 @@ msgstr ""
 "La locale du client ~s ne peut pas être approchée par la locale système ~s "
 "(parce que ~a), on utilise C.\n"
 
-#: src/scm/webid-oidc/program.scm:120
+#: src/scm/webid-oidc/program.scm:123
 #, scheme-format
 msgid "~a: ~a (~a): ~s ~a ~s ~a\n"
 msgstr "~a : ~a (~a) : ~s ~a ~s ~a\n"
 
-#: src/scm/webid-oidc/program.scm:129
+#: src/scm/webid-oidc/program.scm:132
 #, scheme-format
 msgid "~a: ~a: ~s ~a ~s ~a\n"
 msgstr "~a : ~a : ~s ~a ~s ~a\n"
 
-#: src/scm/webid-oidc/program.scm:162
+#: src/scm/webid-oidc/program.scm:165
 msgid "command-line|server|port"
 msgstr "port"
 
-#: src/scm/webid-oidc/program.scm:164
+#: src/scm/webid-oidc/program.scm:167
 msgid "command-line|server|server-name"
 msgstr "nom-du-serveur"
 
-#: src/scm/webid-oidc/program.scm:166
+#: src/scm/webid-oidc/program.scm:169
 msgid "command-line|server|reverse-proxy|backend-uri"
 msgstr "uri-arrière-plan"
 
-#: src/scm/webid-oidc/program.scm:168
+#: src/scm/webid-oidc/program.scm:171
 msgid "command-line|server|reverse-proxy|header"
 msgstr "en-tête"
 
-#: src/scm/webid-oidc/program.scm:170
+#: src/scm/webid-oidc/program.scm:173
 msgid "command-line|server|issuer|key-file"
 msgstr "fichier-clé"
 
-#: src/scm/webid-oidc/program.scm:172
+#: src/scm/webid-oidc/program.scm:175
 msgid "command-line|server|issuer|subject"
 msgstr "sujet"
 
-#: src/scm/webid-oidc/program.scm:174
+#: src/scm/webid-oidc/program.scm:177
 msgid "command-line|server|issuer|encrypted-password"
 msgstr "mot-de-passe-chiffré"
 
-#: src/scm/webid-oidc/program.scm:176
+#: src/scm/webid-oidc/program.scm:179
 msgid "command-line|server|issuer|jwks-uri"
 msgstr "uri-jwks"
 
-#: src/scm/webid-oidc/program.scm:178
+#: src/scm/webid-oidc/program.scm:181
 msgid "command-line|server|issuer|authorization-endpoint-uri"
 msgstr "uri-terminal-autorisation"
 
-#: src/scm/webid-oidc/program.scm:180
+#: src/scm/webid-oidc/program.scm:183
 msgid "command-line|server|issuer|token-endpoint-uri"
 msgstr "uri-terminal-jeton"
 
-#: src/scm/webid-oidc/program.scm:182
+#: src/scm/webid-oidc/program.scm:185
 msgid "command-line|server|client-id"
 msgstr "id-client"
 
-#: src/scm/webid-oidc/program.scm:184
+#: src/scm/webid-oidc/program.scm:187
 msgid "command-line|server|redirect-uri"
 msgstr "uri-redirection"
 
-#: src/scm/webid-oidc/program.scm:186
+#: src/scm/webid-oidc/program.scm:189
 msgid "command-line|server|client-name"
 msgstr "nom-client"
 
-#: src/scm/webid-oidc/program.scm:188
+#: src/scm/webid-oidc/program.scm:191
 msgid "command-line|server|client-uri"
 msgstr "uri-client"
 
-#: src/scm/webid-oidc/program.scm:217
+#: src/scm/webid-oidc/program.scm:220
 #, scheme-format
 msgid ""
 "Usage: ~a COMMAND [OPTIONS]...\n"
@@ -1625,57 +1625,57 @@ msgstr ""
 "Si vous trouvez une erreur dans le programme, envoyez-en un rapport à\n"
 "~a.\n"
 
-#: src/scm/webid-oidc/program.scm:367 src/scm/webid-oidc/program.scm:425
-#: src/scm/webid-oidc/program.scm:528
+#: src/scm/webid-oidc/program.scm:370 src/scm/webid-oidc/program.scm:428
+#: src/scm/webid-oidc/program.scm:531
 msgid "command-line|command|reverse-proxy"
 msgstr "proxy-inversé"
 
-#: src/scm/webid-oidc/program.scm:368 src/scm/webid-oidc/program.scm:432
-#: src/scm/webid-oidc/program.scm:550
+#: src/scm/webid-oidc/program.scm:371 src/scm/webid-oidc/program.scm:435
+#: src/scm/webid-oidc/program.scm:553
 msgid "command-line|command|identity-provider"
 msgstr "fournisseur-identité"
 
-#: src/scm/webid-oidc/program.scm:369 src/scm/webid-oidc/program.scm:439
-#: src/scm/webid-oidc/program.scm:594
+#: src/scm/webid-oidc/program.scm:372 src/scm/webid-oidc/program.scm:442
+#: src/scm/webid-oidc/program.scm:597
 msgid "command-line|command|client-service"
 msgstr "service-client"
 
-#: src/scm/webid-oidc/program.scm:370 src/scm/webid-oidc/program.scm:623
+#: src/scm/webid-oidc/program.scm:373 src/scm/webid-oidc/program.scm:626
 msgid "command-line|command|server"
 msgstr "serveur"
 
-#: src/scm/webid-oidc/program.scm:406 src/scm/webid-oidc/program.scm:410
-#: src/scm/webid-oidc/program.scm:414 src/scm/webid-oidc/program.scm:418
+#: src/scm/webid-oidc/program.scm:409 src/scm/webid-oidc/program.scm:413
+#: src/scm/webid-oidc/program.scm:417 src/scm/webid-oidc/program.scm:421
 #, scheme-format
 msgid "an environment variable| It is currently set to ~s."
 msgstr " Elle vaut actuellement ~s."
 
-#: src/scm/webid-oidc/program.scm:408 src/scm/webid-oidc/program.scm:412
-#: src/scm/webid-oidc/program.scm:416 src/scm/webid-oidc/program.scm:420
+#: src/scm/webid-oidc/program.scm:411 src/scm/webid-oidc/program.scm:415
+#: src/scm/webid-oidc/program.scm:419 src/scm/webid-oidc/program.scm:423
 msgid "an environment variable| It is currently unset."
 msgstr " Elle n’est actuellement pas définie."
 
-#: src/scm/webid-oidc/program.scm:461
+#: src/scm/webid-oidc/program.scm:464
 #, scheme-format
 msgid "The --~a argument must be a number, not ~s.\n"
 msgstr "L’argument de --~a doit être un nombre, pas ~s.\n"
 
-#: src/scm/webid-oidc/program.scm:467
+#: src/scm/webid-oidc/program.scm:470
 #, scheme-format
 msgid "The --~a argument must be an integer, not ~s.\n"
 msgstr "L’argument de --~a doit être un entier, pas ~s.\n"
 
-#: src/scm/webid-oidc/program.scm:473
+#: src/scm/webid-oidc/program.scm:476
 #, scheme-format
 msgid "The --~a argument must be positive, ~s is invalid.\n"
 msgstr "L’argument de --~a doit être positif, ~s est invalide.\n"
 
-#: src/scm/webid-oidc/program.scm:478
+#: src/scm/webid-oidc/program.scm:481
 #, scheme-format
 msgid "The --~a argument must be less than 65536, ~s is invalid.\n"
 msgstr "L’argument de --~a doit être inférieur à 65536, ~s est invalide.\n"
 
-#: src/scm/webid-oidc/program.scm:520
+#: src/scm/webid-oidc/program.scm:523
 #, scheme-format
 msgid ""
 "Usage: ~a COMMAND [OPTIONS]...\n"
@@ -1684,18 +1684,18 @@ msgstr ""
 "Utilisation : ~a COMMANDE [OPTIONS]...\n"
 "Voir --~a (-h).\n"
 
-#: src/scm/webid-oidc/program.scm:531 src/scm/webid-oidc/program.scm:553
-#: src/scm/webid-oidc/program.scm:625
+#: src/scm/webid-oidc/program.scm:534 src/scm/webid-oidc/program.scm:556
+#: src/scm/webid-oidc/program.scm:628
 #, scheme-format
 msgid "You must pass --~a to set the server name.\n"
 msgstr "Vous devez passer --~a pour définir le nom du serveur.\n"
 
-#: src/scm/webid-oidc/program.scm:535
+#: src/scm/webid-oidc/program.scm:538
 #, scheme-format
 msgid "You must pass --~a to set the backend URI.\n"
 msgstr "Vous devez passer --~a pour définir l'URI du service d’arrière-plan.\n"
 
-#: src/scm/webid-oidc/program.scm:557 src/scm/webid-oidc/program.scm:629
+#: src/scm/webid-oidc/program.scm:560 src/scm/webid-oidc/program.scm:632
 #, scheme-format
 msgid ""
 "You must pass --~a to set the file where to store the identity provider "
@@ -1704,59 +1704,59 @@ msgstr ""
 "Vous devez passer --~a pour définir le nom du fichier pour sauvegarder\n"
 "la clé du fournisseur d’identité.\n"
 
-#: src/scm/webid-oidc/program.scm:561 src/scm/webid-oidc/program.scm:633
+#: src/scm/webid-oidc/program.scm:564 src/scm/webid-oidc/program.scm:636
 #, scheme-format
 msgid "You must pass --~a to set the subject of the identity provider.\n"
 msgstr ""
 "Vous devez passer --~a pour définir le sujet du fournisseur d’identité.\n"
 
-#: src/scm/webid-oidc/program.scm:565 src/scm/webid-oidc/program.scm:637
+#: src/scm/webid-oidc/program.scm:568 src/scm/webid-oidc/program.scm:640
 #, scheme-format
 msgid "You must pass --~a to set the subject’s encrypted password.\n"
 msgstr ""
 "Vous devez passer --~a pour définir le mot de passe chiffré du sujet.\n"
 
-#: src/scm/webid-oidc/program.scm:569 src/scm/webid-oidc/program.scm:641
+#: src/scm/webid-oidc/program.scm:572 src/scm/webid-oidc/program.scm:644
 #, scheme-format
 msgid "You must pass --~a to set the JWKS URI.\n"
 msgstr "Vous devez passer --~a pour définir l'URI du JWKS.\n"
 
-#: src/scm/webid-oidc/program.scm:573 src/scm/webid-oidc/program.scm:645
+#: src/scm/webid-oidc/program.scm:576 src/scm/webid-oidc/program.scm:648
 #, scheme-format
 msgid "You must pass --~a to set the authorization endpoint URI.\n"
 msgstr ""
 "Vous devez passer --~a pour définir l'URI du terminal d'autorisation.\n"
 
-#: src/scm/webid-oidc/program.scm:577 src/scm/webid-oidc/program.scm:649
+#: src/scm/webid-oidc/program.scm:580 src/scm/webid-oidc/program.scm:652
 #, scheme-format
 msgid "You must pass --~a to set the token endpoint URI.\n"
 msgstr "Vous devez passer --~a pour définir l'URI du terminal de jeton.\n"
 
-#: src/scm/webid-oidc/program.scm:597
+#: src/scm/webid-oidc/program.scm:600
 #, scheme-format
 msgid "You must pass --~a to set the application web ID.\n"
 msgstr ""
 "Vous devez passer --~a pour définir l'identifiant web de l’application.\n"
 
-#: src/scm/webid-oidc/program.scm:601
+#: src/scm/webid-oidc/program.scm:604
 #, scheme-format
 msgid "You must pass --~a to set the redirection URI.\n"
 msgstr "Vous devez passer --~a pour définir l'URI de redirection.\n"
 
-#: src/scm/webid-oidc/program.scm:605
+#: src/scm/webid-oidc/program.scm:608
 #, scheme-format
 msgid "You must pass --~a to set the informative client name.\n"
 msgstr ""
 "Vous devez passer --~a pour donner un nom pour l’application à titre "
 "informatif.\n"
 
-#: src/scm/webid-oidc/program.scm:609
+#: src/scm/webid-oidc/program.scm:612
 #, scheme-format
 msgid "You must pass --~a to set the informative client URI.\n"
 msgstr ""
 "Vous devez passer --~a pour définir l'URI du client, à titre informatif.\n"
 
-#: src/scm/webid-oidc/program.scm:696
+#: src/scm/webid-oidc/program.scm:699
 #, scheme-format
 msgid "Unknown command ~s\n"
 msgstr "Commande inconnue ~s\n"
diff --git a/po/webid-oidc.pot b/po/webid-oidc.pot
index e7d7daa..c2f5b7f 100644
--- a/po/webid-oidc.pot
+++ b/po/webid-oidc.pot
@@ -8,7 +8,7 @@ msgid ""
 msgstr ""
 "Project-Id-Version: webid-oidc SNAPSHOT\n"
 "Report-Msgid-Bugs-To: vivien@planete-kraus.eu\n"
-"POT-Creation-Date: 2021-07-06 10:37+0200\n"
+"POT-Creation-Date: 2021-07-06 11:39+0200\n"
 "PO-Revision-Date: YEAR-MO-DA HO:MI+ZONE\n"
 "Last-Translator: FULL NAME <EMAIL@ADDRESS>\n"
 "Language-Team: LANGUAGE <LL@li.org>\n"
@@ -945,15 +945,15 @@ msgid "Warning: ~a\n"
 msgstr ""
 
 #: src/scm/webid-oidc/hello-world.scm:48 src/scm/webid-oidc/example-app.scm:116
-#: src/scm/webid-oidc/program.scm:156
+#: src/scm/webid-oidc/program.scm:159
 msgid "command-line|version"
 msgstr ""
 
-#: src/scm/webid-oidc/hello-world.scm:50 src/scm/webid-oidc/program.scm:158
+#: src/scm/webid-oidc/hello-world.scm:50 src/scm/webid-oidc/program.scm:161
 msgid "command-line|complete-corresponding-source"
 msgstr ""
 
-#: src/scm/webid-oidc/hello-world.scm:52 src/scm/webid-oidc/program.scm:160
+#: src/scm/webid-oidc/hello-world.scm:52 src/scm/webid-oidc/program.scm:163
 msgid "command-line|help"
 msgstr ""
 
@@ -961,11 +961,11 @@ msgstr ""
 msgid "command-line|port"
 msgstr ""
 
-#: src/scm/webid-oidc/hello-world.scm:56 src/scm/webid-oidc/program.scm:190
+#: src/scm/webid-oidc/hello-world.scm:56 src/scm/webid-oidc/program.scm:193
 msgid "command-line|log-file"
 msgstr ""
 
-#: src/scm/webid-oidc/hello-world.scm:58 src/scm/webid-oidc/program.scm:192
+#: src/scm/webid-oidc/hello-world.scm:58 src/scm/webid-oidc/program.scm:195
 msgid "command-line|error-file"
 msgstr ""
 
@@ -999,12 +999,12 @@ msgid ""
 msgstr ""
 
 #: src/scm/webid-oidc/hello-world.scm:103
-#: src/scm/webid-oidc/example-app.scm:159 src/scm/webid-oidc/program.scm:446
+#: src/scm/webid-oidc/example-app.scm:159 src/scm/webid-oidc/program.scm:449
 #, scheme-format
 msgid "~a version ~a\n"
 msgstr ""
 
-#: src/scm/webid-oidc/hello-world.scm:112 src/scm/webid-oidc/program.scm:454
+#: src/scm/webid-oidc/hello-world.scm:112 src/scm/webid-oidc/program.scm:457
 msgid ""
 "You are legally required to link to the complete corresponding source code.\n"
 msgstr ""
@@ -1123,85 +1123,85 @@ msgstr ""
 msgid "There was an error: ~a\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:85
+#: src/scm/webid-oidc/program.scm:88
 #, scheme-format
 msgid "~a: ~a: Internal server error: ~a\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:98
+#: src/scm/webid-oidc/program.scm:101
 #, scheme-format
 msgid ""
 "The client locale ~s can’t be approximated by system locale ~s (because ~a), "
 "using C.\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:120
+#: src/scm/webid-oidc/program.scm:123
 #, scheme-format
 msgid "~a: ~a (~a): ~s ~a ~s ~a\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:129
+#: src/scm/webid-oidc/program.scm:132
 #, scheme-format
 msgid "~a: ~a: ~s ~a ~s ~a\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:162
+#: src/scm/webid-oidc/program.scm:165
 msgid "command-line|server|port"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:164
+#: src/scm/webid-oidc/program.scm:167
 msgid "command-line|server|server-name"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:166
+#: src/scm/webid-oidc/program.scm:169
 msgid "command-line|server|reverse-proxy|backend-uri"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:168
+#: src/scm/webid-oidc/program.scm:171
 msgid "command-line|server|reverse-proxy|header"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:170
+#: src/scm/webid-oidc/program.scm:173
 msgid "command-line|server|issuer|key-file"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:172
+#: src/scm/webid-oidc/program.scm:175
 msgid "command-line|server|issuer|subject"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:174
+#: src/scm/webid-oidc/program.scm:177
 msgid "command-line|server|issuer|encrypted-password"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:176
+#: src/scm/webid-oidc/program.scm:179
 msgid "command-line|server|issuer|jwks-uri"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:178
+#: src/scm/webid-oidc/program.scm:181
 msgid "command-line|server|issuer|authorization-endpoint-uri"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:180
+#: src/scm/webid-oidc/program.scm:183
 msgid "command-line|server|issuer|token-endpoint-uri"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:182
+#: src/scm/webid-oidc/program.scm:185
 msgid "command-line|server|client-id"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:184
+#: src/scm/webid-oidc/program.scm:187
 msgid "command-line|server|redirect-uri"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:186
+#: src/scm/webid-oidc/program.scm:189
 msgid "command-line|server|client-name"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:188
+#: src/scm/webid-oidc/program.scm:191
 msgid "command-line|server|client-uri"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:217
+#: src/scm/webid-oidc/program.scm:220
 #, scheme-format
 msgid ""
 "Usage: ~a COMMAND [OPTIONS]...\n"
@@ -1356,127 +1356,127 @@ msgid ""
 "If you find a bug, then please send a report to ~a.\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:367 src/scm/webid-oidc/program.scm:425
-#: src/scm/webid-oidc/program.scm:528
+#: src/scm/webid-oidc/program.scm:370 src/scm/webid-oidc/program.scm:428
+#: src/scm/webid-oidc/program.scm:531
 msgid "command-line|command|reverse-proxy"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:368 src/scm/webid-oidc/program.scm:432
-#: src/scm/webid-oidc/program.scm:550
+#: src/scm/webid-oidc/program.scm:371 src/scm/webid-oidc/program.scm:435
+#: src/scm/webid-oidc/program.scm:553
 msgid "command-line|command|identity-provider"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:369 src/scm/webid-oidc/program.scm:439
-#: src/scm/webid-oidc/program.scm:594
+#: src/scm/webid-oidc/program.scm:372 src/scm/webid-oidc/program.scm:442
+#: src/scm/webid-oidc/program.scm:597
 msgid "command-line|command|client-service"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:370 src/scm/webid-oidc/program.scm:623
+#: src/scm/webid-oidc/program.scm:373 src/scm/webid-oidc/program.scm:626
 msgid "command-line|command|server"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:406 src/scm/webid-oidc/program.scm:410
-#: src/scm/webid-oidc/program.scm:414 src/scm/webid-oidc/program.scm:418
+#: src/scm/webid-oidc/program.scm:409 src/scm/webid-oidc/program.scm:413
+#: src/scm/webid-oidc/program.scm:417 src/scm/webid-oidc/program.scm:421
 #, scheme-format
 msgid "an environment variable| It is currently set to ~s."
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:408 src/scm/webid-oidc/program.scm:412
-#: src/scm/webid-oidc/program.scm:416 src/scm/webid-oidc/program.scm:420
+#: src/scm/webid-oidc/program.scm:411 src/scm/webid-oidc/program.scm:415
+#: src/scm/webid-oidc/program.scm:419 src/scm/webid-oidc/program.scm:423
 msgid "an environment variable| It is currently unset."
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:461
+#: src/scm/webid-oidc/program.scm:464
 #, scheme-format
 msgid "The --~a argument must be a number, not ~s.\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:467
+#: src/scm/webid-oidc/program.scm:470
 #, scheme-format
 msgid "The --~a argument must be an integer, not ~s.\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:473
+#: src/scm/webid-oidc/program.scm:476
 #, scheme-format
 msgid "The --~a argument must be positive, ~s is invalid.\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:478
+#: src/scm/webid-oidc/program.scm:481
 #, scheme-format
 msgid "The --~a argument must be less than 65536, ~s is invalid.\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:520
+#: src/scm/webid-oidc/program.scm:523
 #, scheme-format
 msgid ""
 "Usage: ~a COMMAND [OPTIONS]...\n"
 "See --~a (-h).\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:531 src/scm/webid-oidc/program.scm:553
-#: src/scm/webid-oidc/program.scm:625
+#: src/scm/webid-oidc/program.scm:534 src/scm/webid-oidc/program.scm:556
+#: src/scm/webid-oidc/program.scm:628
 #, scheme-format
 msgid "You must pass --~a to set the server name.\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:535
+#: src/scm/webid-oidc/program.scm:538
 #, scheme-format
 msgid "You must pass --~a to set the backend URI.\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:557 src/scm/webid-oidc/program.scm:629
+#: src/scm/webid-oidc/program.scm:560 src/scm/webid-oidc/program.scm:632
 #, scheme-format
 msgid ""
 "You must pass --~a to set the file where to store the identity provider "
 "key.\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:561 src/scm/webid-oidc/program.scm:633
+#: src/scm/webid-oidc/program.scm:564 src/scm/webid-oidc/program.scm:636
 #, scheme-format
 msgid "You must pass --~a to set the subject of the identity provider.\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:565 src/scm/webid-oidc/program.scm:637
+#: src/scm/webid-oidc/program.scm:568 src/scm/webid-oidc/program.scm:640
 #, scheme-format
 msgid "You must pass --~a to set the subject’s encrypted password.\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:569 src/scm/webid-oidc/program.scm:641
+#: src/scm/webid-oidc/program.scm:572 src/scm/webid-oidc/program.scm:644
 #, scheme-format
 msgid "You must pass --~a to set the JWKS URI.\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:573 src/scm/webid-oidc/program.scm:645
+#: src/scm/webid-oidc/program.scm:576 src/scm/webid-oidc/program.scm:648
 #, scheme-format
 msgid "You must pass --~a to set the authorization endpoint URI.\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:577 src/scm/webid-oidc/program.scm:649
+#: src/scm/webid-oidc/program.scm:580 src/scm/webid-oidc/program.scm:652
 #, scheme-format
 msgid "You must pass --~a to set the token endpoint URI.\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:597
+#: src/scm/webid-oidc/program.scm:600
 #, scheme-format
 msgid "You must pass --~a to set the application web ID.\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:601
+#: src/scm/webid-oidc/program.scm:604
 #, scheme-format
 msgid "You must pass --~a to set the redirection URI.\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:605
+#: src/scm/webid-oidc/program.scm:608
 #, scheme-format
 msgid "You must pass --~a to set the informative client name.\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:609
+#: src/scm/webid-oidc/program.scm:612
 #, scheme-format
 msgid "You must pass --~a to set the informative client URI.\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:696
+#: src/scm/webid-oidc/program.scm:699
 #, scheme-format
 msgid "Unknown command ~s\n"
 msgstr ""