Previously the script tried to encode output from Pygments with the ASCII codec, which failed. Signed-off-by: Přemysl Janouch <p.janouch@gmail.com>
Signed-off-by: Jason A. Donenfeld <Jason@zx2c4.com>