Manually set page title for page history

...because apparently browsers ignore the title argument for some reason

see: whatwg/html#2174

assets/js/search.js

@@ -178,7 +178,10 @@
     const searchForm = document.getElementById('search-field');
 
     function pushHistory(query) {
-        history.pushState({}, 'Search - ' + query + ' - BZFlag', '/search/' + ((query.length)?'?query=' + encodeURIComponent(query):''));
+        const title = 'Search - ' + query + ' - BZFlag';
+
+        history.pushState({}, title, '/search/' + ((query.length) ? '?query=' + encodeURIComponent(query) : ''));
+        document.title = title;
     }
 
     let pushHistoryTimeout;