Fix a ton of 'typos', improve somewhat the docs and other small fixes