Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
As per #1626, fixing formatting of the introductory doc block which g…
…ot split off from the main part.
- Loading branch information