Fix xhtml errors, make introduction more explicit, mention string::of_capacity, clarify point about verification tools, polishing.