${lead}
Der Editor kann sich zudem zu einer Installation inklusive Backend auf einem Remote-Rechner, in einem Container oder auf JetBrains Space verbinden.
