github set pygments: true as default