Instead of linking just to https://app.circleci.com/, it would be nice to go to the PR that triggered the pipeline in the first place right from the VS code pipelines list.