Also log the remote peer IP address

2 files changed, 119 insertions, 119 deletions

diff --git a/po/fr.po b/po/fr.po
index 19d0686..37f674e 100644
--- a/po/fr.po
+++ b/po/fr.po
@@ -2,8 +2,8 @@ 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-02 14:51+0200\n"
-"PO-Revision-Date: 2021-07-02 15:05+0200\n"
+"POT-Creation-Date: 2021-07-02 16:25+0200\n"
+"PO-Revision-Date: 2021-07-02 16:26+0200\n"
 "Last-Translator: Vivien Kraus <vivien@planete-kraus.eu>\n"
 "Language-Team: French <vivien@planete-kraus.eu>\n"
 "Language: fr\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:123
+#: src/scm/webid-oidc/program.scm:133
 msgid "command-line|version"
 msgstr "version"
 
-#: src/scm/webid-oidc/hello-world.scm:50 src/scm/webid-oidc/program.scm:125
+#: src/scm/webid-oidc/hello-world.scm:50 src/scm/webid-oidc/program.scm:135
 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:127
+#: src/scm/webid-oidc/hello-world.scm:52 src/scm/webid-oidc/program.scm:137
 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:157
+#: src/scm/webid-oidc/hello-world.scm:56 src/scm/webid-oidc/program.scm:167
 msgid "command-line|log-file"
 msgstr "fichier-journal"
 
-#: src/scm/webid-oidc/hello-world.scm:58 src/scm/webid-oidc/program.scm:159
+#: src/scm/webid-oidc/hello-world.scm:58 src/scm/webid-oidc/program.scm:169
 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:413
+#: src/scm/webid-oidc/example-app.scm:159 src/scm/webid-oidc/program.scm:423
 #, 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:421
+#: src/scm/webid-oidc/hello-world.scm:112 src/scm/webid-oidc/program.scm:431
 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:77
+#: src/scm/webid-oidc/program.scm:85
 #, scheme-format
-msgid "~a: Internal server error: ~a\n"
-msgstr "~a : Erreur interne du serveur : ~a\n"
+msgid "~a: ~a: Internal server error: ~a\n"
+msgstr "~a : ~a : Erreur interne du serveur : ~a\n"
 
-#: src/scm/webid-oidc/program.scm:89
+#: src/scm/webid-oidc/program.scm:98
 #, scheme-format
 msgid ""
 "The client locale ~s can’t be approximated by system locale ~s (because ~a), "
@@ -1247,68 +1247,68 @@ 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:97
+#: src/scm/webid-oidc/program.scm:106
 #, scheme-format
-msgid "~a: ~s ~a ~s ~a\n"
-msgstr "~a : ~s ~a ~s ~a\n"
+msgid "~a: ~a: ~s ~a ~s ~a\n"
+msgstr "~a : ~a : ~s ~a ~s ~a\n"
 
-#: src/scm/webid-oidc/program.scm:129
+#: src/scm/webid-oidc/program.scm:139
 msgid "command-line|server|port"
 msgstr "port"
 
-#: src/scm/webid-oidc/program.scm:131
+#: src/scm/webid-oidc/program.scm:141
 msgid "command-line|server|server-name"
 msgstr "nom-du-serveur"
 
-#: src/scm/webid-oidc/program.scm:133
+#: src/scm/webid-oidc/program.scm:143
 msgid "command-line|server|reverse-proxy|backend-uri"
 msgstr "uri-arrière-plan"
 
-#: src/scm/webid-oidc/program.scm:135
+#: src/scm/webid-oidc/program.scm:145
 msgid "command-line|server|reverse-proxy|header"
 msgstr "en-tête"
 
-#: src/scm/webid-oidc/program.scm:137
+#: src/scm/webid-oidc/program.scm:147
 msgid "command-line|server|issuer|key-file"
 msgstr "fichier-clé"
 
-#: src/scm/webid-oidc/program.scm:139
+#: src/scm/webid-oidc/program.scm:149
 msgid "command-line|server|issuer|subject"
 msgstr "sujet"
 
-#: src/scm/webid-oidc/program.scm:141
+#: src/scm/webid-oidc/program.scm:151
 msgid "command-line|server|issuer|password"
 msgstr "mot-de-passe"
 
-#: src/scm/webid-oidc/program.scm:143
+#: src/scm/webid-oidc/program.scm:153
 msgid "command-line|server|issuer|jwks-uri"
 msgstr "uri-jwks"
 
-#: src/scm/webid-oidc/program.scm:145
+#: src/scm/webid-oidc/program.scm:155
 msgid "command-line|server|issuer|authorization-endpoint-uri"
 msgstr "uri-terminal-autorisation"
 
-#: src/scm/webid-oidc/program.scm:147
+#: src/scm/webid-oidc/program.scm:157
 msgid "command-line|server|issuer|token-endpoint-uri"
 msgstr "uri-terminal-jeton"
 
-#: src/scm/webid-oidc/program.scm:149
+#: src/scm/webid-oidc/program.scm:159
 msgid "command-line|server|client-id"
 msgstr "id-client"
 
-#: src/scm/webid-oidc/program.scm:151
+#: src/scm/webid-oidc/program.scm:161
 msgid "command-line|server|redirect-uri"
 msgstr "uri-redirection"
 
-#: src/scm/webid-oidc/program.scm:153
+#: src/scm/webid-oidc/program.scm:163
 msgid "command-line|server|client-name"
 msgstr "nom-client"
 
-#: src/scm/webid-oidc/program.scm:155
+#: src/scm/webid-oidc/program.scm:165
 msgid "command-line|server|client-uri"
 msgstr "uri-client"
 
-#: src/scm/webid-oidc/program.scm:184
+#: src/scm/webid-oidc/program.scm:194
 #, scheme-format
 msgid ""
 "Usage: ~a COMMAND [OPTIONS]...\n"
@@ -1620,57 +1620,57 @@ msgstr ""
 "Si vous trouvez une erreur dans le programme, envoyez-en un rapport à\n"
 "~a.\n"
 
-#: src/scm/webid-oidc/program.scm:334 src/scm/webid-oidc/program.scm:392
-#: src/scm/webid-oidc/program.scm:495
+#: src/scm/webid-oidc/program.scm:344 src/scm/webid-oidc/program.scm:402
+#: src/scm/webid-oidc/program.scm:505
 msgid "command-line|command|reverse-proxy"
 msgstr "proxy-inversé"
 
-#: src/scm/webid-oidc/program.scm:335 src/scm/webid-oidc/program.scm:399
-#: src/scm/webid-oidc/program.scm:517
+#: src/scm/webid-oidc/program.scm:345 src/scm/webid-oidc/program.scm:409
+#: src/scm/webid-oidc/program.scm:527
 msgid "command-line|command|identity-provider"
 msgstr "fournisseur-identité"
 
-#: src/scm/webid-oidc/program.scm:336 src/scm/webid-oidc/program.scm:406
-#: src/scm/webid-oidc/program.scm:561
+#: src/scm/webid-oidc/program.scm:346 src/scm/webid-oidc/program.scm:416
+#: src/scm/webid-oidc/program.scm:571
 msgid "command-line|command|client-service"
 msgstr "service-client"
 
-#: src/scm/webid-oidc/program.scm:337 src/scm/webid-oidc/program.scm:590
+#: src/scm/webid-oidc/program.scm:347 src/scm/webid-oidc/program.scm:600
 msgid "command-line|command|server"
 msgstr "serveur"
 
-#: src/scm/webid-oidc/program.scm:373 src/scm/webid-oidc/program.scm:377
-#: src/scm/webid-oidc/program.scm:381 src/scm/webid-oidc/program.scm:385
+#: src/scm/webid-oidc/program.scm:383 src/scm/webid-oidc/program.scm:387
+#: src/scm/webid-oidc/program.scm:391 src/scm/webid-oidc/program.scm:395
 #, scheme-format
 msgid "an environment variable| It is currently set to ~s."
 msgstr " Elle vaut actuellement ~s."
 
-#: src/scm/webid-oidc/program.scm:375 src/scm/webid-oidc/program.scm:379
-#: src/scm/webid-oidc/program.scm:383 src/scm/webid-oidc/program.scm:387
+#: src/scm/webid-oidc/program.scm:385 src/scm/webid-oidc/program.scm:389
+#: src/scm/webid-oidc/program.scm:393 src/scm/webid-oidc/program.scm:397
 msgid "an environment variable| It is currently unset."
 msgstr " Elle n’est actuellement pas définie."
 
-#: src/scm/webid-oidc/program.scm:428
+#: src/scm/webid-oidc/program.scm:438
 #, 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:434
+#: src/scm/webid-oidc/program.scm:444
 #, 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:440
+#: src/scm/webid-oidc/program.scm:450
 #, 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:445
+#: src/scm/webid-oidc/program.scm:455
 #, 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:487
+#: src/scm/webid-oidc/program.scm:497
 #, scheme-format
 msgid ""
 "Usage: ~a COMMAND [OPTIONS]...\n"
@@ -1679,18 +1679,18 @@ msgstr ""
 "Utilisation : ~a COMMANDE [OPTIONS]...\n"
 "Voir --~a (-h).\n"
 
-#: src/scm/webid-oidc/program.scm:498 src/scm/webid-oidc/program.scm:520
-#: src/scm/webid-oidc/program.scm:592
+#: src/scm/webid-oidc/program.scm:508 src/scm/webid-oidc/program.scm:530
+#: src/scm/webid-oidc/program.scm:602
 #, 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:502
+#: src/scm/webid-oidc/program.scm:512
 #, 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:524 src/scm/webid-oidc/program.scm:596
+#: src/scm/webid-oidc/program.scm:534 src/scm/webid-oidc/program.scm:606
 #, scheme-format
 msgid ""
 "You must pass --~a to set the file where to store the identity provider "
@@ -1699,58 +1699,58 @@ 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:528 src/scm/webid-oidc/program.scm:600
+#: src/scm/webid-oidc/program.scm:538 src/scm/webid-oidc/program.scm:610
 #, 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:532 src/scm/webid-oidc/program.scm:604
+#: src/scm/webid-oidc/program.scm:542 src/scm/webid-oidc/program.scm:614
 #, scheme-format
 msgid "You must pass --~a to set the subject’s password.\n"
 msgstr "Vous devez passer --~a pour définir le mot de passe du sujet.\n"
 
-#: src/scm/webid-oidc/program.scm:536 src/scm/webid-oidc/program.scm:608
+#: src/scm/webid-oidc/program.scm:546 src/scm/webid-oidc/program.scm:618
 #, 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:540 src/scm/webid-oidc/program.scm:612
+#: src/scm/webid-oidc/program.scm:550 src/scm/webid-oidc/program.scm:622
 #, 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:544 src/scm/webid-oidc/program.scm:616
+#: src/scm/webid-oidc/program.scm:554 src/scm/webid-oidc/program.scm:626
 #, 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:564
+#: src/scm/webid-oidc/program.scm:574
 #, 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:568
+#: src/scm/webid-oidc/program.scm:578
 #, 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:572
+#: src/scm/webid-oidc/program.scm:582
 #, 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:576
+#: src/scm/webid-oidc/program.scm:586
 #, 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:663
+#: src/scm/webid-oidc/program.scm:673
 #, 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 3c271d3..0094a23 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-02 14:51+0200\n"
+"POT-Creation-Date: 2021-07-02 16:25+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:123
+#: src/scm/webid-oidc/program.scm:133
 msgid "command-line|version"
 msgstr ""
 
-#: src/scm/webid-oidc/hello-world.scm:50 src/scm/webid-oidc/program.scm:125
+#: src/scm/webid-oidc/hello-world.scm:50 src/scm/webid-oidc/program.scm:135
 msgid "command-line|complete-corresponding-source"
 msgstr ""
 
-#: src/scm/webid-oidc/hello-world.scm:52 src/scm/webid-oidc/program.scm:127
+#: src/scm/webid-oidc/hello-world.scm:52 src/scm/webid-oidc/program.scm:137
 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:157
+#: src/scm/webid-oidc/hello-world.scm:56 src/scm/webid-oidc/program.scm:167
 msgid "command-line|log-file"
 msgstr ""
 
-#: src/scm/webid-oidc/hello-world.scm:58 src/scm/webid-oidc/program.scm:159
+#: src/scm/webid-oidc/hello-world.scm:58 src/scm/webid-oidc/program.scm:169
 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:413
+#: src/scm/webid-oidc/example-app.scm:159 src/scm/webid-oidc/program.scm:423
 #, scheme-format
 msgid "~a version ~a\n"
 msgstr ""
 
-#: src/scm/webid-oidc/hello-world.scm:112 src/scm/webid-oidc/program.scm:421
+#: src/scm/webid-oidc/hello-world.scm:112 src/scm/webid-oidc/program.scm:431
 msgid ""
 "You are legally required to link to the complete corresponding source code.\n"
 msgstr ""
@@ -1123,80 +1123,80 @@ msgstr ""
 msgid "There was an error: ~a\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:77
+#: src/scm/webid-oidc/program.scm:85
 #, scheme-format
-msgid "~a: Internal server error: ~a\n"
+msgid "~a: ~a: Internal server error: ~a\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:89
+#: src/scm/webid-oidc/program.scm:98
 #, 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:97
+#: src/scm/webid-oidc/program.scm:106
 #, scheme-format
-msgid "~a: ~s ~a ~s ~a\n"
+msgid "~a: ~a: ~s ~a ~s ~a\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:129
+#: src/scm/webid-oidc/program.scm:139
 msgid "command-line|server|port"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:131
+#: src/scm/webid-oidc/program.scm:141
 msgid "command-line|server|server-name"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:133
+#: src/scm/webid-oidc/program.scm:143
 msgid "command-line|server|reverse-proxy|backend-uri"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:135
+#: src/scm/webid-oidc/program.scm:145
 msgid "command-line|server|reverse-proxy|header"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:137
+#: src/scm/webid-oidc/program.scm:147
 msgid "command-line|server|issuer|key-file"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:139
+#: src/scm/webid-oidc/program.scm:149
 msgid "command-line|server|issuer|subject"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:141
+#: src/scm/webid-oidc/program.scm:151
 msgid "command-line|server|issuer|password"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:143
+#: src/scm/webid-oidc/program.scm:153
 msgid "command-line|server|issuer|jwks-uri"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:145
+#: src/scm/webid-oidc/program.scm:155
 msgid "command-line|server|issuer|authorization-endpoint-uri"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:147
+#: src/scm/webid-oidc/program.scm:157
 msgid "command-line|server|issuer|token-endpoint-uri"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:149
+#: src/scm/webid-oidc/program.scm:159
 msgid "command-line|server|client-id"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:151
+#: src/scm/webid-oidc/program.scm:161
 msgid "command-line|server|redirect-uri"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:153
+#: src/scm/webid-oidc/program.scm:163
 msgid "command-line|server|client-name"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:155
+#: src/scm/webid-oidc/program.scm:165
 msgid "command-line|server|client-uri"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:184
+#: src/scm/webid-oidc/program.scm:194
 #, scheme-format
 msgid ""
 "Usage: ~a COMMAND [OPTIONS]...\n"
@@ -1351,127 +1351,127 @@ msgid ""
 "If you find a bug, then please send a report to ~a.\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:334 src/scm/webid-oidc/program.scm:392
-#: src/scm/webid-oidc/program.scm:495
+#: src/scm/webid-oidc/program.scm:344 src/scm/webid-oidc/program.scm:402
+#: src/scm/webid-oidc/program.scm:505
 msgid "command-line|command|reverse-proxy"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:335 src/scm/webid-oidc/program.scm:399
-#: src/scm/webid-oidc/program.scm:517
+#: src/scm/webid-oidc/program.scm:345 src/scm/webid-oidc/program.scm:409
+#: src/scm/webid-oidc/program.scm:527
 msgid "command-line|command|identity-provider"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:336 src/scm/webid-oidc/program.scm:406
-#: src/scm/webid-oidc/program.scm:561
+#: src/scm/webid-oidc/program.scm:346 src/scm/webid-oidc/program.scm:416
+#: src/scm/webid-oidc/program.scm:571
 msgid "command-line|command|client-service"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:337 src/scm/webid-oidc/program.scm:590
+#: src/scm/webid-oidc/program.scm:347 src/scm/webid-oidc/program.scm:600
 msgid "command-line|command|server"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:373 src/scm/webid-oidc/program.scm:377
-#: src/scm/webid-oidc/program.scm:381 src/scm/webid-oidc/program.scm:385
+#: src/scm/webid-oidc/program.scm:383 src/scm/webid-oidc/program.scm:387
+#: src/scm/webid-oidc/program.scm:391 src/scm/webid-oidc/program.scm:395
 #, scheme-format
 msgid "an environment variable| It is currently set to ~s."
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:375 src/scm/webid-oidc/program.scm:379
-#: src/scm/webid-oidc/program.scm:383 src/scm/webid-oidc/program.scm:387
+#: src/scm/webid-oidc/program.scm:385 src/scm/webid-oidc/program.scm:389
+#: src/scm/webid-oidc/program.scm:393 src/scm/webid-oidc/program.scm:397
 msgid "an environment variable| It is currently unset."
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:428
+#: src/scm/webid-oidc/program.scm:438
 #, scheme-format
 msgid "The --~a argument must be a number, not ~s.\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:434
+#: src/scm/webid-oidc/program.scm:444
 #, scheme-format
 msgid "The --~a argument must be an integer, not ~s.\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:440
+#: src/scm/webid-oidc/program.scm:450
 #, scheme-format
 msgid "The --~a argument must be positive, ~s is invalid.\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:445
+#: src/scm/webid-oidc/program.scm:455
 #, scheme-format
 msgid "The --~a argument must be less than 65536, ~s is invalid.\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:487
+#: src/scm/webid-oidc/program.scm:497
 #, scheme-format
 msgid ""
 "Usage: ~a COMMAND [OPTIONS]...\n"
 "See --~a (-h).\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:498 src/scm/webid-oidc/program.scm:520
-#: src/scm/webid-oidc/program.scm:592
+#: src/scm/webid-oidc/program.scm:508 src/scm/webid-oidc/program.scm:530
+#: src/scm/webid-oidc/program.scm:602
 #, scheme-format
 msgid "You must pass --~a to set the server name.\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:502
+#: src/scm/webid-oidc/program.scm:512
 #, scheme-format
 msgid "You must pass --~a to set the backend URI.\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:524 src/scm/webid-oidc/program.scm:596
+#: src/scm/webid-oidc/program.scm:534 src/scm/webid-oidc/program.scm:606
 #, 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:528 src/scm/webid-oidc/program.scm:600
+#: src/scm/webid-oidc/program.scm:538 src/scm/webid-oidc/program.scm:610
 #, scheme-format
 msgid "You must pass --~a to set the subject of the identity provider.\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:532 src/scm/webid-oidc/program.scm:604
+#: src/scm/webid-oidc/program.scm:542 src/scm/webid-oidc/program.scm:614
 #, scheme-format
 msgid "You must pass --~a to set the subject’s password.\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:536 src/scm/webid-oidc/program.scm:608
+#: src/scm/webid-oidc/program.scm:546 src/scm/webid-oidc/program.scm:618
 #, scheme-format
 msgid "You must pass --~a to set the JWKS URI.\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:540 src/scm/webid-oidc/program.scm:612
+#: src/scm/webid-oidc/program.scm:550 src/scm/webid-oidc/program.scm:622
 #, scheme-format
 msgid "You must pass --~a to set the authorization endpoint URI.\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:544 src/scm/webid-oidc/program.scm:616
+#: src/scm/webid-oidc/program.scm:554 src/scm/webid-oidc/program.scm:626
 #, scheme-format
 msgid "You must pass --~a to set the token endpoint URI.\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:564
+#: src/scm/webid-oidc/program.scm:574
 #, scheme-format
 msgid "You must pass --~a to set the application web ID.\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:568
+#: src/scm/webid-oidc/program.scm:578
 #, scheme-format
 msgid "You must pass --~a to set the redirection URI.\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:572
+#: src/scm/webid-oidc/program.scm:582
 #, scheme-format
 msgid "You must pass --~a to set the informative client name.\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:576
+#: src/scm/webid-oidc/program.scm:586
 #, scheme-format
 msgid "You must pass --~a to set the informative client URI.\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:663
+#: src/scm/webid-oidc/program.scm:673
 #, scheme-format
 msgid "Unknown command ~s\n"
 msgstr ""