Какие хорошие редакторы кода есть на Андроид?

DroidEdit - почему-то не показывает на новом телефоне дополнительные кнопки над клавиатурой, а без них никак.

Quoda - страшно глючит, теряет соединение с сервером, в меню режет буквы

Есть что-то нормально работающее?
Требования:
1) Python, JavaScript, Bash
2) Подключение по ssh к серверу, чтобы редактировать напрямую на нем код
3) Не глючное и не вырвиглазное

Можно платное, главное чтобы норм работало

P.S. Про то что писать код с мобильника извращение - в курсе, оно мне не для писать, а для быстрых правок на ходу