>> Эээ, нет, за подсветку отвечает pygments
> вроде он именно на ем и был написан.

Это когда такое было? pygments всегда был самодостаточной библиотекой. Тем более что для того, чтобы рисовать <span> вокруг токенов, размашистый XML-шаблонизатор брать не нужно.

> нужного мне (помимо, разумеется, десятка устаревших форматов) все равно нет

Чего такого ты в http://pygments.org/languages/ не смог найти? M4?

> и не будет.

Почему это? Коммиты в него всё ещё текут. Да и если ну очень надо, http://pygments.org/docs/lexerdevelopment/

> Да и детект по расширению и без
> возможности оверрайда - тоже так себе идея.

http://pygments.org/docs/api/#pygments.lexers.guess_lexer

> хороший был трак, но сдох уже давно. Может оно и к лучшему,
> а то б и правда модный аякс с поддержкой хрома, хрома
> и хрома давно бы впендюрили, а доаяксовая версия требовала бы пихона
> 2.6

Ещё с 0.12 там AJAX есть (чтобы ходить за рендером предпросмотра маркапа), и правки без комментов на лету он умеет скрывать-показывать. Но, к счастью, всё работает и без джаваскриптов, которые к тому же сделаны на jQuery, а не модных реактивно-компонентных фреймворках с терабайтом node_modules.