chore: update Code to 1.72.2

[jsjoeio]

No description provided.

[github-actions]

✨ code-server dev build published to npm for PR #5650!

• Last publish status: success
• Commit: 28e86ad

To install in a local project, run:

npm install @coder/code-server-pr@5650

To install globally, run:

npm install -g @coder/code-server-pr@5650

[codecov]

Codecov Report

Merging #5650 (28e86ad) into main (4a06d97) will not change coverage.
The diff coverage is n/a.

Additional details and impacted files

@@           Coverage Diff           @@
##             main    #5650   +/-   ##
=======================================
  Coverage   72.61%   72.61%           
=======================================
  Files          30       30           
  Lines        1680     1680           
  Branches      368      368           
=======================================
  Hits         1220     1220           
  Misses        397      397           
  Partials       63       63           

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 4a06d97...28e86ad. Read the comment docs.

[code-asher]

I have not had a chance to run the latest changes but they look good to me.