I don't know where this one is coming from, git grep pygments doesn't return anything :/