Minor fixes to manual.pdf and patternlock.txt