Thanks, I got the impression that since so many lexers are added constantly to Pygments, and that
http://pygments.org/docs/lexers/ appeared to be auto-generated that there was probably some way for Trac to iterate over supported Pygments lexers. for example the lexers doc showed the "short names" and file extensions; I thought maybe Trac enumerated those. Maybe it is possible to do that and no one has done it yet? If so, I don't think I'm up to it.
I did decide to make a patch like you did on ticket 9097, because of how easy it was. I filed the ticket as
http://trac.edgewall.org/ticket/10725. Since I already had my code modified, I just rebuilt and installed Trac that way instead of modifying the ini file (I follow svn branches/0.12-stable and periodically python setup.py install on that SVN working copy).
BTW, thanks for your work on maintaining plantuml, while checking my plugin SVN checkouts I saw you committed a patch for that horribly annoying comma bug!!!
Jason