Closed seth127 closed 1 year ago
Closes #558
First commit makes the change, second one does some unrelated housekeeping of the docs.
Closes #558