From the web UI, on a PR page, can I not open the actual PR? The only way I’ve found is the “Copy link to GitHub” option in the menu (which isn’t in the command palette) and then paste in a new tab. Alternatively, I can’t find an option to do “Update branch” like I can on GitHub.