lowercase usernames on the website

The game saves usernames in lowercase, but the search box and the
user/board URL parameters were used as typed, so searching "Adam"
reported that the user had never played. Lowercase them before use.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

www/html/wordle/game.html

@@ -234,7 +234,7 @@ async function fetchBoard(user, epochDay) {
 
 async function loadBoard() {
     const params = new URLSearchParams(location.search);
-    const boardName = params.get("board");
+    const boardName = params.get("board")?.toLowerCase();  // game saves names in lowercase
 
     const errorBox = document.getElementById("error");
     const dateEl = document.getElementById("date");

www/html/wordle/games.html

@@ -148,7 +148,7 @@ function formatDateFromEpochDays(epochDays) {
 
 (async () => {
   const params = new URLSearchParams(location.search);
-  const user = params.get("user");
+  const user = params.get("user")?.toLowerCase();  // game saves names in lowercase
   const usernameSpan = document.getElementById("username");
   const gamesList = document.getElementById("games-list");
   const emptyMsg = document.getElementById("empty");

www/html/wordle/index.html

@@ -109,7 +109,8 @@
 
   form.addEventListener("submit", (e) => {
     e.preventDefault();
-    const user = input.value.trim();
+    // The game saves usernames in lowercase
+    const user = input.value.trim().toLowerCase();
     if (!user) return;
     window.location.href = `/stats.html?user=${encodeURIComponent(user)}`;
   });

www/html/wordle/stats.html

@@ -117,7 +117,7 @@
 <script>
 (async () => {
   const params = new URLSearchParams(location.search);
-  const user = params.get("user");
+  const user = params.get("user")?.toLowerCase();  // game saves names in lowercase
   const output = document.getElementById("output");
   const usernameSpan = document.getElementById("username");
   const gamesLink = document.getElementById("games-link");