New in this documentation release Nov 28, 2018: Trivial fixes. No substantive changes. Nov 27, 2018: First release of the 5.1 version.
