Commit 97ba206bed341dc7c915a86531512b1e0617303d

Nathan Willis 2019-05-25T12:26:50

Usermanual; minor.