Fix broken link to fault-tolerance semantics section.
Restructure parts of the fault-tolerance section to read a bit nicer when skipping over the headings