Update docs
This MR includes some quick additions and tweaks to the documentation (wording, formatting, etc.). A further, more extensive, documentation review could start after this MR has been merged.
This MR includes some quick additions and tweaks to the documentation (wording, formatting, etc.). A further, more extensive, documentation review could start after this MR has been merged.