bonus ALT+F for focus at filter input

render/index.js

@@ -671,6 +671,16 @@ window.onload = () => {
 			}
 		}
 	});
+
+	document.addEventListener("keydown", function(event) {
+		if (event.altKey) {
+			if (event.key === 'f') {
+				event.preventDefault();
+				filter.focus();
+			}
+		}
+	});
+
 }