Finish an editing pass. A couple of issues remain:
- As noted in a comment, one entry refers to a load of nonexistent man pages, with no explanation of what they do.
- We are a bit inconsistent about the use of <tt> for command names.
- There is some duplication between the ThunderX and ARM64 status reports.