Big cleanup all over the place; wording/grammar/typo fixes as usual, many entries rephrased for better clarity and shortness, a bit of old cruft removed, better semantic markup, consistency...