Добавил Mirchik.
Mobile HTML Editor - это лучший на данный момент редактор HTML файлов.
Особенности: подсветка синтаксиса, быстрая вставка HTML тегов, удобное создание и изменение HTML файлов и др.
Программа делалась под Siemens, но будем надеяться на оптимизацию и под SE, т.к. прога находится в разработке.