Commit f1094c0951f1bc5a11a1de82a1690df7d589018d

Werner Lemberg 2014-11-22T18:54:51

Minor documentation reordering.