Revert "Migrate from pygments to rich"

There's that problem with rich were it really wants to adjust to console width, truncating output.

Pygments is much less intrusive.

This reverts commit 758c1856.