Totally optional tilde favicon

header.php

@@ -4,6 +4,7 @@
     <meta charset="utf-8">
     <meta name="viewport" content="width=device-width, initial-scale=1">
     <title><?=isset($title) ? $title : "Welcome to ~tilde.club~"?></title>
+	<link rel="icon" type="image/png" href="favicon.png">
     
     <!-- Preload CSS and image resources -->
     <link rel="preload" href="/style.css" as="style">