QUESTION: peculiar Doxygen docstring note for `make_file_output_stream`

In the Doxygen documentation of make_file_output_stream, there is the remark:

/// NOTE: flush() should be the last thing to be called on a file output stream.

I would expect that .close() is in fact the last thing to be called on any output_stream, including a file-backed output_stream. Also, file_demo.cc calls .close() on the stream.

Are these comments indeed wrong, and can I make a PR to remove them?