先日リリースされたGLOBAL-6.3.2で、yoshizowさん作の、Pygmentsを使ったプラグインパーサーが公式に取り込まれました。 [GLOBAL-6.3.2 released.] (http://lists.gnu.org/archive/html/info-g...