Closed WeisLeDocto closed 9 months ago
As described in #17, #18, and #21, several improvements to the documentation were desirable or needed after merging #23. This PR brings all these (relatively minor) changes all at once.
As described in #17, #18, and #21, several improvements to the documentation were desirable or needed after merging #23. This PR brings all these (relatively minor) changes all at once.