Fix duplicated words and typos in comments and user guide
I got annoyed by some duplicated words when reading the user's guide, so I searched for duplicated words everywhere (using regex with backreferences) and fixed all I could find. I manually checked all of them make sense. Most of the fixes are in comments / user guide. Also couple of language fixes in user's guide.