In the web UI is there way to navigate to the github PR without needing to copy the link to navigate to it? Wondering if there is a super quick shortcut to go straight to it.