HTML編集用の機能を持った軽いテキストエディタ紹介してください。