chore(deps): Bump pygments from 2.17.2 to 2.20.0 in /doc/_sphinx (#3970)