100% agreed. Just fwiw, apparently (i.e., I discovered in the last 10 mins) pygmentize detects file extensions, so $ pygmentize -o test.png test.py is e

100% agreed. Just fwiw, apparently (i.e., I discovered in the last 10 mins) pygmentize detects file extensions, so $ pygmentize -o test.png test.py is equivalent.