Pre-processing with pygmentize for arXiv.org