That's a really nice article! Seeing Paxos from different angles always interest me. I wrote an article about the message flow in Fast-Paxos: https://fadhil.id/blogs/posts/fast-paxos/

My article also mentions the trick of leader with lockID=0 and consecutive lockID used in Fast-Paxos.