Merge latest changes from main into prod.

footer.php

 <footer>
     &COPY; ByeCorps <?php echo(date("Y")); ?> <a href="/credits">Credits</a>
+    <br>
+    <b>Execution time: </b> <?= round((microtime(true) - $_SERVER['REQUEST_TIME_FLOAT']) * 1000, 3) ?> ms
 </footer>
\ No newline at end of file

forgot_password.php

@@ -29,7 +29,7 @@ if ($_SERVER['REQUEST_METHOD'] == "POST") {
 
 This link expires in 5 minutes.
 
-If you did not request this password reset, please ignore it (or tighten your account\'s security)']);
+If you did not request this password reset, please ignore this email.']);
 
 //            echo("<a href='$password_reset_link'>This is a security issue.</a>");
         } catch (Exception $e) {

login_external_basic.php

@@ -111,7 +111,7 @@ login:
             <div id="connection_img">
                 <img src="<?= get_avatar_url($_SESSION['id']) ?>" alt="<?= htmlspecialchars($user['display_name']) ?>'s avatar" />
                 <span class="sep">×</span>
-                <img src="<?= $app['icon'] ?>" alt="<?= htmlspecialchars($user['title']) ?>'s avatar" />
+                <img src="<?= $app['icon'] ?>" alt="<?= htmlspecialchars($app['title']) ?>" />
             </div>
             <h1>Sign into <?= htmlspecialchars($app['title']) ?></h1>
             <p class="subtitle">Owned by <strong><?= htmlspecialchars( get_display_name($app['owner_id'], put_bcid_in_parenthesis: true) ) ?></strong></p>