Indeed interesting, they say the "overview" section is primarily intended for human readers, and the rest is for the model. I wonder how the model will read this spec, maybe there's a more machine readable format.
I found it quite insightful and well done. Curious if this type of documentation will become more common like you mentioned.