Enabled code highlighting via Pygments.
Another name change.