highlight.pl: Ported to Python3.