An IDE needs to be able to do more than just edit files, though - e.g. for debug...

int_19h on Aug 11, 2021 | parent | context | favorite | on: GitHub’s engineering team has moved to Codespaces

An IDE needs to be able to do more than just edit files, though - e.g. for debugging, it needs to know how to run the code on the remote box, and it'll be different from local.