Sergey Seliverstov
Дада, я понял
Вообще, не переживай за дефолты. Многое можно получить через LSP, но многие плагины уникальны для емакса. Например, proof-general или agda-mode (есть плагин для атома, но учат всех на емаксе).
Не говоря уже про org-mode.