Clean up of REST chapter mostly. Switch to Pygments for source formatting.