Каким bbCode-редактором Вы пользуетесь?

Интересно Ваше мнение на счет bbCode-редакторов. Какие Вы бы посоветовали? Желательно такой, в котором есть подсветка кода.
Редактор, который используется на askdev.ru - это что за зверь? Впрочем, было бы неплохо услышать мнения и о редакторах, который вместо bbCode-тегов выводят html-теги.
В Zend Framework есть парсер Zend_Markup_Parser_Bbcode, т.е. думаю его задействовать на серверной стороне, а вот что использовать для генерации bb или же html - хотелось бы услышать от Вас.