feat: trigger refresh with 'r'

This will not update the GUI, which results in poor UX. It's still nice
to not having to grab the mouse, just to click the refresh button.

internal/server/index.html

@@ -227,6 +227,7 @@ <h2>Keyboard shortcuts</h2>
                     <li><kbd>b</kbd> - bury (or unbury) PR, pushing the PR down to the latest prio available</li>
                     <li><kbd>enter</kbd> - open focused PR in Github, in a new window</li>
                     <li><kbd>shift + enter</kbd> - open all PRs in Github, in new windows (might trigger a browser warning)</li>
+                    <li><kbd>r</kbd> - trigger a refresh</li>
                     <li><kbd>?</kbd> - show this dialog</li>
                     <li><kbd>esc</kbd> - hide this dialog</li>
                 </ul>
@@ -269,8 +270,9 @@ <h2>Keyboard shortcuts</h2>
                 dialog.showModal();
             });
 
+            const refreshElement = document.querySelector("a.refresh");
             let isRefreshing = false;
-            document.querySelector("a.refresh").addEventListener("click", (e) => {
+            refreshElement.addEventListener("click", (e) => {
                 if (!isRefreshing) {
                     isRefreshing = true;
                     fetch(e.currentTarget.href, {method: 'POST'}).then((response) => {
@@ -346,6 +348,8 @@ <h2>Keyboard shortcuts</h2>
                     const buryUrl = prs[activePr].querySelector("a.bury").href;
                     bury(buryUrl);
                     e.preventDefault();
+                } else if (e.key === "r") {
+                    refreshElement.click();
                 } else if (e.key === "?") {
                     dialog.showModal();
                 } else if (e.key === "Enter") {