As of GitLab 6.6, Pygments is replaced with highlight.js, so the Python instructions should not be needed.