> I think it achieves a way more significant benefit by only writing the document itself. Writing shapes thoughts.

I feel this way about tests. The ones I write probably haven't caught bugs in CI. But often, writing a test clues me in to the fact that an interface is hopelessly borked. That usually leads to a reimplementation that removes a class of bugs.