renamed manual.html to manual.txt
pycense now preserves mode bits of files it modifies