The comments, anecdotes, and historical context he gives the papers are by themselves a great read, especially if you're even somewhat familiar with the results. The comments on #12, which introduces the Bakery Algorithm [1] are a great example of this. [1] https://en.wikipedia.org/wiki/Lamport%27s_bakery_algorithm
There are great bits in the papers, too. For instance in the Buridan paper ...
> An empirical absence of dead asses does not invalidate Buridan’s Principle