The benefit of a document over a comment is in spending the time to get it right, which is expensive. Not everything warrants that expense, and of the things that do, there's risk in your effort being redundant, not understood, or undesired.