[Jakob]

It’s a bit obvious, but you could contribute to make pygments an optional dependency, and then not install that. Or you fork it outright.