Server: also log when we connect to the web

1 files changed, 121 insertions, 116 deletions

diff --git a/po/disfluid.pot b/po/disfluid.pot
index 388ba8a..6b4e3f1 100644
--- a/po/disfluid.pot
+++ b/po/disfluid.pot
@@ -933,15 +933,15 @@ msgstr ""
 msgid "<p>The client is compatible with Solid.</p>"
 msgstr ""
 
-#: src/scm/webid-oidc/hello-world.scm:64 src/scm/webid-oidc/program.scm:231
+#: src/scm/webid-oidc/hello-world.scm:64 src/scm/webid-oidc/program.scm:240
 msgid "command-line|version"
 msgstr ""
 
-#: src/scm/webid-oidc/hello-world.scm:66 src/scm/webid-oidc/program.scm:235
+#: src/scm/webid-oidc/hello-world.scm:66 src/scm/webid-oidc/program.scm:244
 msgid "command-line|complete-corresponding-source"
 msgstr ""
 
-#: src/scm/webid-oidc/hello-world.scm:68 src/scm/webid-oidc/program.scm:237
+#: src/scm/webid-oidc/hello-world.scm:68 src/scm/webid-oidc/program.scm:246
 msgid "command-line|help"
 msgstr ""
 
@@ -949,11 +949,11 @@ msgstr ""
 msgid "command-line|port"
 msgstr ""
 
-#: src/scm/webid-oidc/hello-world.scm:72 src/scm/webid-oidc/program.scm:269
+#: src/scm/webid-oidc/hello-world.scm:72 src/scm/webid-oidc/program.scm:278
 msgid "command-line|log-file"
 msgstr ""
 
-#: src/scm/webid-oidc/hello-world.scm:74 src/scm/webid-oidc/program.scm:271
+#: src/scm/webid-oidc/hello-world.scm:74 src/scm/webid-oidc/program.scm:280
 msgid "command-line|error-file"
 msgstr ""
 
@@ -991,7 +991,7 @@ msgstr ""
 msgid "~a version ~a\n"
 msgstr ""
 
-#: src/scm/webid-oidc/hello-world.scm:128 src/scm/webid-oidc/program.scm:633
+#: src/scm/webid-oidc/hello-world.scm:128 src/scm/webid-oidc/program.scm:642
 msgid ""
 "You are legally required to link to the complete corresponding source code.\n"
 msgstr ""
@@ -1303,119 +1303,124 @@ msgstr ""
 msgid "~a: ~s ~a ~s: ~s ~a bytes\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:126
+#: src/scm/webid-oidc/program.scm:90
+#, scheme-format
+msgid "~a: connecting to ~s\n"
+msgstr ""
+
+#: src/scm/webid-oidc/program.scm:135
 msgid "really bad internal server error"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:133
+#: src/scm/webid-oidc/program.scm:142
 #, scheme-format
 msgid "~a: ~a: Internal server error: ~a\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:139
+#: src/scm/webid-oidc/program.scm:148
 msgid "Internal Server Error"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:142
+#: src/scm/webid-oidc/program.scm:151
 msgid "Sorry, there was an error."
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:163
+#: src/scm/webid-oidc/program.scm:172
 #, scheme-format
 msgid "~a: ~s ~a ~s ~a\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:165
+#: src/scm/webid-oidc/program.scm:174
 #, scheme-format
 msgid "~a: ~a (~a)"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:169
+#: src/scm/webid-oidc/program.scm:178
 #, scheme-format
 msgid "~a: ~a"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:179
+#: src/scm/webid-oidc/program.scm:188
 #, scheme-format
 msgid "(there was an error: ~a)"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:233
+#: src/scm/webid-oidc/program.scm:242
 msgid "command-line|describe-project"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:239
+#: src/scm/webid-oidc/program.scm:248
 msgid "command-line|server|port"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:241
+#: src/scm/webid-oidc/program.scm:250
 msgid "command-line|server|server-name"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:243
+#: src/scm/webid-oidc/program.scm:252
 msgid "command-line|server|reverse-proxy|backend-uri"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:245
+#: src/scm/webid-oidc/program.scm:254
 msgid "command-line|server|reverse-proxy|header"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:247
+#: src/scm/webid-oidc/program.scm:256
 msgid "command-line|server|issuer|key-file"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:249
+#: src/scm/webid-oidc/program.scm:258
 msgid "command-line|server|issuer|subject"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:251
+#: src/scm/webid-oidc/program.scm:260
 msgid "command-line|server|issuer|encrypted-password"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:253
+#: src/scm/webid-oidc/program.scm:262
 msgid "command-line|server|issuer|encrypted-password-from-file"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:255
+#: src/scm/webid-oidc/program.scm:264
 msgid "command-line|server|issuer|jwks-uri"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:257
+#: src/scm/webid-oidc/program.scm:266
 msgid "command-line|server|issuer|authorization-endpoint-uri"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:259
+#: src/scm/webid-oidc/program.scm:268
 msgid "command-line|server|issuer|token-endpoint-uri"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:261
+#: src/scm/webid-oidc/program.scm:270
 msgid "command-line|server|client-id"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:263
+#: src/scm/webid-oidc/program.scm:272
 msgid "command-line|server|redirect-uri"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:265
+#: src/scm/webid-oidc/program.scm:274
 msgid "command-line|server|client-name"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:267
+#: src/scm/webid-oidc/program.scm:276
 msgid "command-line|server|client-uri"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:301
+#: src/scm/webid-oidc/program.scm:310
 #, scheme-format
 msgid "Usage: ~a COMMAND [OPTIONS]...\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:305
+#: src/scm/webid-oidc/program.scm:314
 msgid ""
 "\n"
 "Run the disfluid COMMAND."
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:308
+#: src/scm/webid-oidc/program.scm:317
 msgid ""
 "\n"
 "This program is covered by the GNU Affero GPL, version 3 or\n"
@@ -1425,13 +1430,13 @@ msgid ""
 "to all responses."
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:315
+#: src/scm/webid-oidc/program.scm:324
 msgid ""
 "\n"
 "Available commands:"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:317
+#: src/scm/webid-oidc/program.scm:326
 #, scheme-format
 msgid ""
 "\n"
@@ -1439,12 +1444,12 @@ msgid ""
 "      run an authenticating reverse proxy."
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:320 src/scm/webid-oidc/program.scm:515
-#: src/scm/webid-oidc/program.scm:715
+#: src/scm/webid-oidc/program.scm:329 src/scm/webid-oidc/program.scm:524
+#: src/scm/webid-oidc/program.scm:724
 msgid "command-line|command|reverse-proxy"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:321
+#: src/scm/webid-oidc/program.scm:330
 #, scheme-format
 msgid ""
 "\n"
@@ -1452,12 +1457,12 @@ msgid ""
 "      run an identity provider."
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:324 src/scm/webid-oidc/program.scm:540
-#: src/scm/webid-oidc/program.scm:736
+#: src/scm/webid-oidc/program.scm:333 src/scm/webid-oidc/program.scm:549
+#: src/scm/webid-oidc/program.scm:745
 msgid "command-line|command|identity-provider"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:325
+#: src/scm/webid-oidc/program.scm:334
 #, scheme-format
 msgid ""
 "\n"
@@ -1465,12 +1470,12 @@ msgid ""
 "      serve the pages for a public application."
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:328 src/scm/webid-oidc/program.scm:561
-#: src/scm/webid-oidc/program.scm:777
+#: src/scm/webid-oidc/program.scm:337 src/scm/webid-oidc/program.scm:570
+#: src/scm/webid-oidc/program.scm:786
 msgid "command-line|command|client-service"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:329
+#: src/scm/webid-oidc/program.scm:338
 #, scheme-format
 msgid ""
 "\n"
@@ -1479,24 +1484,24 @@ msgid ""
 "      facility."
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:333 src/scm/webid-oidc/program.scm:587
-#: src/scm/webid-oidc/program.scm:806
+#: src/scm/webid-oidc/program.scm:342 src/scm/webid-oidc/program.scm:596
+#: src/scm/webid-oidc/program.scm:815
 msgid "command-line|command|server"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:335
+#: src/scm/webid-oidc/program.scm:344
 msgid ""
 "\n"
 "If no command is specified, run the browser."
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:338
+#: src/scm/webid-oidc/program.scm:347
 msgid ""
 "\n"
 "General options:"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:340
+#: src/scm/webid-oidc/program.scm:349
 #, scheme-format
 msgid ""
 "\n"
@@ -1505,7 +1510,7 @@ msgid ""
 "      code. For instance, this would be an URI pointing to a tarball."
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:345
+#: src/scm/webid-oidc/program.scm:354
 #, scheme-format
 msgid ""
 "\n"
@@ -1513,7 +1518,7 @@ msgid ""
 "      display a short help message and exit."
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:349
+#: src/scm/webid-oidc/program.scm:358
 #, scheme-format
 msgid ""
 "\n"
@@ -1521,7 +1526,7 @@ msgid ""
 "      display the version information (~a, released ~a) and exit."
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:355
+#: src/scm/webid-oidc/program.scm:364
 #, scheme-format
 msgid ""
 "\n"
@@ -1529,7 +1534,7 @@ msgid ""
 "      describe the project in the DOAP vocabulary and exit."
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:359
+#: src/scm/webid-oidc/program.scm:368
 #, scheme-format
 msgid ""
 "\n"
@@ -1537,7 +1542,7 @@ msgid ""
 "      redirect the program standard output to FILE.log."
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:363
+#: src/scm/webid-oidc/program.scm:372
 #, scheme-format
 msgid ""
 "\n"
@@ -1545,13 +1550,13 @@ msgid ""
 "      redirect the program errors to FILE.err."
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:368
+#: src/scm/webid-oidc/program.scm:377
 msgid ""
 "\n"
 "General server-side options:"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:370
+#: src/scm/webid-oidc/program.scm:379
 #, scheme-format
 msgid ""
 "\n"
@@ -1559,7 +1564,7 @@ msgid ""
 "      set the server port to bind, 8080 by default."
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:374
+#: src/scm/webid-oidc/program.scm:383
 #, scheme-format
 msgid ""
 "\n"
@@ -1567,13 +1572,13 @@ msgid ""
 "      set the public server URI (scheme, userinfo, host, and port)."
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:379
+#: src/scm/webid-oidc/program.scm:388
 msgid ""
 "\n"
 "Options for the resource server:"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:381
+#: src/scm/webid-oidc/program.scm:390
 #, scheme-format
 msgid ""
 "\n"
@@ -1583,7 +1588,7 @@ msgid ""
 "      authentication."
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:387
+#: src/scm/webid-oidc/program.scm:396
 #, scheme-format
 msgid ""
 "\n"
@@ -1592,13 +1597,13 @@ msgid ""
 "      reverse-proxy command."
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:393
+#: src/scm/webid-oidc/program.scm:402
 msgid ""
 "\n"
 "Options for the identity provider:"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:395
+#: src/scm/webid-oidc/program.scm:404
 #, scheme-format
 msgid ""
 "\n"
@@ -1607,7 +1612,7 @@ msgid ""
 "      key is generated. The server does not offer an HTTPS service."
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:400
+#: src/scm/webid-oidc/program.scm:409
 #, scheme-format
 msgid ""
 "\n"
@@ -1615,7 +1620,7 @@ msgid ""
 "      set the identity of the subject."
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:404
+#: src/scm/webid-oidc/program.scm:413
 #, scheme-format
 msgid ""
 "\n"
@@ -1623,7 +1628,7 @@ msgid ""
 "      set the encrypted password to recognize the user."
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:408
+#: src/scm/webid-oidc/program.scm:417
 #, scheme-format
 msgid ""
 "\n"
@@ -1631,7 +1636,7 @@ msgid ""
 "      load the user’s encrypted password from ENCRYPTED_PASSWORD_FILE."
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:412
+#: src/scm/webid-oidc/program.scm:421
 #, scheme-format
 msgid ""
 "\n"
@@ -1639,7 +1644,7 @@ msgid ""
 "      set the URI to query the key of the server."
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:416
+#: src/scm/webid-oidc/program.scm:425
 #, scheme-format
 msgid ""
 "\n"
@@ -1647,7 +1652,7 @@ msgid ""
 "      set the authorization endpoint of the issuer."
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:420
+#: src/scm/webid-oidc/program.scm:429
 #, scheme-format
 msgid ""
 "\n"
@@ -1655,13 +1660,13 @@ msgid ""
 "      set the token endpoint of the issuer."
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:425
+#: src/scm/webid-oidc/program.scm:434
 msgid ""
 "\n"
 "Options for the client service:"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:427
+#: src/scm/webid-oidc/program.scm:436
 #, scheme-format
 msgid ""
 "\n"
@@ -1670,7 +1675,7 @@ msgid ""
 "      dereferenced to a semantic resource."
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:432
+#: src/scm/webid-oidc/program.scm:441
 #, scheme-format
 msgid ""
 "\n"
@@ -1679,7 +1684,7 @@ msgid ""
 "      page is presented with the code to paste in the application."
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:437
+#: src/scm/webid-oidc/program.scm:446
 #, scheme-format
 msgid ""
 "\n"
@@ -1687,7 +1692,7 @@ msgid ""
 "      set the user-visible application name (may be misleading...)."
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:441
+#: src/scm/webid-oidc/program.scm:450
 #, scheme-format
 msgid ""
 "\n"
@@ -1696,13 +1701,13 @@ msgid ""
 "      application (again, may be misleading)."
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:447
+#: src/scm/webid-oidc/program.scm:456
 msgid ""
 "\n"
 "Environment variables:"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:449
+#: src/scm/webid-oidc/program.scm:458
 msgid ""
 "\n"
 "  XML_CATALOG_FILES: the server will fetch resources on the web. By\n"
@@ -1713,23 +1718,23 @@ msgid ""
 "      content-type."
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:457 src/scm/webid-oidc/program.scm:464
-#: src/scm/webid-oidc/program.scm:473 src/scm/webid-oidc/program.scm:481
-#: src/scm/webid-oidc/program.scm:489
+#: src/scm/webid-oidc/program.scm:466 src/scm/webid-oidc/program.scm:473
+#: src/scm/webid-oidc/program.scm:482 src/scm/webid-oidc/program.scm:490
+#: src/scm/webid-oidc/program.scm:498
 #, scheme-format
 msgid ""
 "the-environment-variable|\n"
 "      It is currently set to ~s."
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:460
+#: src/scm/webid-oidc/program.scm:469
 msgid ""
 "\n"
 "  LANG: set the locale of the user interface (for the server commands,\n"
 "      the user is the system administrator)."
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:467
+#: src/scm/webid-oidc/program.scm:476
 msgid ""
 "\n"
 "  XDG_DATA_HOME: where the program stores persistent data. The\n"
@@ -1738,7 +1743,7 @@ msgid ""
 "      recommended to set it to /var/lib."
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:476
+#: src/scm/webid-oidc/program.scm:485
 msgid ""
 "\n"
 "  XDG_CACHE_HOME: where the program stores and updates the seed file,\n"
@@ -1746,7 +1751,7 @@ msgid ""
 "      time. The seed file will be initialized from /dev/random."
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:484
+#: src/scm/webid-oidc/program.scm:493
 msgid ""
 "\n"
 "  HOME: if XDG_DATA_HOME or XDG_CACHE_HOME is not set, they are\n"
@@ -1754,13 +1759,13 @@ msgid ""
 "      not used otherwise."
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:493
+#: src/scm/webid-oidc/program.scm:502
 msgid ""
 "\n"
 "Running a reverse proxy"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:495
+#: src/scm/webid-oidc/program.scm:504
 msgid ""
 "\n"
 "Suppose that you operate data.provider.com. You want to run an\n"
@@ -1773,7 +1778,7 @@ msgid ""
 "from this reverse proxy."
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:505
+#: src/scm/webid-oidc/program.scm:514
 #, scheme-format
 msgid ""
 "\n"
@@ -1787,20 +1792,20 @@ msgid ""
 "      --~a '/var/log/proxy.err'"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:520
+#: src/scm/webid-oidc/program.scm:529
 msgid ""
 "\n"
 "Running an identity provider"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:522
+#: src/scm/webid-oidc/program.scm:531
 msgid ""
 "\n"
 "The identity provider running at webid-oidc-demo.planete-kraus.eu is\n"
 "invoked with the following options:"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:526
+#: src/scm/webid-oidc/program.scm:535
 #, scheme-format
 msgid ""
 "\n"
@@ -1819,20 +1824,20 @@ msgid ""
 "      --~a $PORT"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:546
+#: src/scm/webid-oidc/program.scm:555
 msgid ""
 "\n"
 "Running the public pages for an application"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:548
+#: src/scm/webid-oidc/program.scm:557
 msgid ""
 "\n"
 "The example client application pages for\n"
 "webid-oidc-demo.planete-kraus.eu are served this way:"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:552
+#: src/scm/webid-oidc/program.scm:561
 #, scheme-format
 msgid ""
 "\n"
@@ -1848,13 +1853,13 @@ msgid ""
 "      --~a $PORT"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:566
+#: src/scm/webid-oidc/program.scm:575
 msgid ""
 "\n"
 "Running a full server"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:569
+#: src/scm/webid-oidc/program.scm:578
 msgid ""
 "\n"
 "To run the server with identity provider and\n"
@@ -1862,7 +1867,7 @@ msgid ""
 "options for the parts."
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:573
+#: src/scm/webid-oidc/program.scm:582
 #, scheme-format
 msgid ""
 "\n"
@@ -1881,14 +1886,14 @@ msgid ""
 "      --~a '...port...'"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:598
+#: src/scm/webid-oidc/program.scm:607
 #, scheme-format
 msgid ""
 "\n"
 "If you find a bug, then please send a report to ~a."
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:603
+#: src/scm/webid-oidc/program.scm:612
 #, scheme-format
 msgid ""
 "~a version ~a\n"
@@ -1896,101 +1901,101 @@ msgid ""
 "Rreleased ~a\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:640
+#: src/scm/webid-oidc/program.scm:649
 #, scheme-format
 msgid "The --~a argument must be a number, not ~s.\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:646
+#: src/scm/webid-oidc/program.scm:655
 #, scheme-format
 msgid "The --~a argument must be an integer, not ~s.\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:652
+#: src/scm/webid-oidc/program.scm:661
 #, scheme-format
 msgid "The --~a argument must be positive, ~s is invalid.\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:657
+#: src/scm/webid-oidc/program.scm:666
 #, scheme-format
 msgid "The --~a argument must be less than 65536, ~s is invalid.\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:685
+#: src/scm/webid-oidc/program.scm:694
 msgid ""
 "You specified two different passwords: one directly, and one from a file. "
 "Please set only one password.\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:718 src/scm/webid-oidc/program.scm:739
-#: src/scm/webid-oidc/program.scm:808
+#: src/scm/webid-oidc/program.scm:727 src/scm/webid-oidc/program.scm:748
+#: src/scm/webid-oidc/program.scm:817
 #, scheme-format
 msgid "You must pass --~a to set the server name.\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:722
+#: src/scm/webid-oidc/program.scm:731
 #, scheme-format
 msgid "You must pass --~a to set the backend URI.\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:743 src/scm/webid-oidc/program.scm:812
+#: src/scm/webid-oidc/program.scm:752 src/scm/webid-oidc/program.scm:821
 #, 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:747 src/scm/webid-oidc/program.scm:816
+#: src/scm/webid-oidc/program.scm:756 src/scm/webid-oidc/program.scm:825
 #, scheme-format
 msgid "You must pass --~a to set the subject of the identity provider.\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:751
+#: src/scm/webid-oidc/program.scm:760
 #, scheme-format
 msgid "You must pass --~a or --~a to set the subject’s encrypted password.\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:755 src/scm/webid-oidc/program.scm:824
+#: src/scm/webid-oidc/program.scm:764 src/scm/webid-oidc/program.scm:833
 #, scheme-format
 msgid "You must pass --~a to set the JWKS URI.\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:759 src/scm/webid-oidc/program.scm:828
+#: src/scm/webid-oidc/program.scm:768 src/scm/webid-oidc/program.scm:837
 #, scheme-format
 msgid "You must pass --~a to set the authorization endpoint URI.\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:763 src/scm/webid-oidc/program.scm:832
+#: src/scm/webid-oidc/program.scm:772 src/scm/webid-oidc/program.scm:841
 #, scheme-format
 msgid "You must pass --~a to set the token endpoint URI.\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:780
+#: src/scm/webid-oidc/program.scm:789
 #, scheme-format
 msgid "You must pass --~a to set the application web ID.\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:784
+#: src/scm/webid-oidc/program.scm:793
 #, scheme-format
 msgid "You must pass --~a to set the redirection URI.\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:788
+#: src/scm/webid-oidc/program.scm:797
 #, scheme-format
 msgid "You must pass --~a to set the informative client name.\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:792
+#: src/scm/webid-oidc/program.scm:801
 #, scheme-format
 msgid "You must pass --~a to set the informative client URI.\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:820
+#: src/scm/webid-oidc/program.scm:829
 #, scheme-format
 msgid "You must pass --~a to set the subject’s encrypted password.\n"
 msgstr ""
 
-#: src/scm/webid-oidc/program.scm:872
+#: src/scm/webid-oidc/program.scm:881
 #, scheme-format
 msgid "Unknown command ~s\n"
 msgstr ""