Finish reformating of all manuals

Lines do not exceed 72-80 characters, and some typos are fixed at the
same time.