The "Open in VS Code" paragraph mentioned it was released in 13.8,
but the release note and the related merge request say 13.10.