Investigate why GitHub releases stopped being cut automatically #2726
Description
GitHub releases had fallen significantly behind the marketplace versions. All extensions were last released on GitHub in February 2025, despite multiple versions being published to the Extensions marketplace since then. Need to investigate the release CI workflow and determine why it stopped creating GitHub releases automatically.