Code Editor : install-dotty-agent