Let me share my new blog post on understanding format6 with examples.
https://blog.tail.moe/2021/01/13/format6.html
It’s almost my reading note for the paper Format Unraveled (on module Format) and experiments on utop. I tried not to be too verbose though.