Edit a WordPress theme over SSH from VS Code, Cursor, JetBrains or Zed

Work on a WordPress site's theme in the editor you already use, on the real site's files, with the change on the site the moment you save. Here is how to switch SSH on, connect each of the four common