I don’t see anything in there even about basic building blocks like RAFT. Maybe I’m missing it, or maybe there’s room for someone to write another chapter.

Specific algorithms like RAFT or Paxos are more of an addendum than a core aspect of the topic, though.