This page has moved to /docs/ide/editor/interface/.