chore: update Code to 1.71.1

[jsjoeio]

This updates Code to 1.71 and makes a small doc change.

Changes

• chore: update Code to 1.71.1
• chore: refresh patches
• docs: add quilt refresh tip

Fixes #5554

[github-actions]

✨ code-server docs for PR #5558 is ready! It will be updated on every commit.

• Host: https://coder.com/docs/code-server/f64d8e9
• Last deploy status: success
• Commit: 694ba68
• Workflow status: https://github.com/coder/code-server/actions/runs/3062140003

[github-actions]

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

• Last publish status: success
• Commit: 694ba68

To install in a local project, run:

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

To install globally, run:

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

[codecov]

Codecov Report

Merging #5558 (694ba68) into main (309a3b2) will not change coverage.
The diff coverage is n/a.

Additional details and impacted files

@@           Coverage Diff           @@
##             main    #5558   +/-   ##
=======================================
  Coverage   72.44%   72.44%           
=======================================
  Files          30       30           
  Lines        1673     1673           
  Branches      366      366           
=======================================
  Hits         1212     1212           
  Misses        398      398           
  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 309a3b2...694ba68. Read the comment docs.

[code-asher]

I have not ran it but the updates look harmless to me!