This includes regularly-submitted corrections to comma setting and orthographical mishaps that appeared in man/ in recent commits.