usermanual: several minor additions/corrections (plus xml source pretty-printing)