pip in /tools/publish, /docs for Pygments, Pygments, Pygments, Pygments, Pygments - Update #1306535466

pip in /tools/publish, /docs for Pygments, Pygments, Pygments, Pygments, Pygments - Update #1306535466 #585