py-pygments is a stub port
