Fix another typo in Usermanual
Merge branch 'userman-linux-fix' of https://github.com/mattkelly/Cockatrice into userman-linux-fix