[m-rev.] diff: write_as_doc

[Peter Wang]

On Thu, 25 Aug 2022 13:17:36 +1000 "Zoltan Somogyi" <zoltan.somogyi at runbox.com> wrote:
> 
> > write_as_doc is not the most descriptive. What about write_formatted?
> 
> There are many kinds of formatting. How about write_doc_formatted?

Well, okay. With write_formatted, I meant to convey "write out this
[generic term] in a pretty way". There's no doc involved in the
interface.

Peter