Jeroen Wouters / TeXmacs.spec