This page has moved to /docs/ide/chat/dev-servers/.