Fix Pygments problem, and add link to basic file pemissions guide