interpolation is faster than dup for string
use nowrap option of Pygments to simplify post-processing
minor syntax cleanups