Changed token capitalization

print_jupyter_link.sh

@@ -2,7 +2,7 @@
 # Print the JupyterLab URL from the latest jupyterlab_*.log.
 # On Cristallina the real token is redacted in the log ("token=..."),
 # so if the token is missing or redacted we replace it with the most commonly used
-# token "Cristallina" to produce a usable URL.
+# token "cristallina" to produce a usable URL.
 
 set -euo pipefail
 
@@ -33,7 +33,7 @@ fi
 
 # If token is missing or redacted, replace with a 'Cristallina' token
 if [[ "$URL" != *"token="* || "$URL" == *"token=..."* ]]; then
-  URL="${URL%%\?*}?token=Cristallina"
+  URL="${URL%%\?*}?token=cristallina"
 fi
 
-echo "$URL"
+echo "$URL"