"Open in VSCode" is nice, but seems a bit flimsy - its not super reliable when opening files in different branches (that might not exist on your dev machine yet). What would be more useful for us is "Open PR in
vscode.dev" that can be done by just using this url format:
<https://vscode.dev/github/ORG/REPO_NAME/pull/PR_NUMBER>