Use the new pygments-restrict package for documentation