Documentation of os.exec*() provides confusing information about "flushing file descriptors"

Documentation

The documentation of os.exec*() says:

The current process is replaced immediately. Open file objects and descriptors are not flushed, so if there may be data buffered on these open files, you should flush them using sys.stdout.flush() or os.fsync() before calling an exec* function.

However, os.fsync() flushs OS buffers to disk, and has nothing to with flushing userspace buffer to OS.

Linked PRs

• gh-133333

Issue で引用されている os.exec*() のドキュメントから始め、sys.stdout.flush() と os.fsync() の役割を比較します。文言がユーザー空間のバッファリングと OS のバッファを正確に区別していることを確認し、そのうえで、改訂されたドキュメントが exec*() の前に何を flush すべきかを明確に説明していることを確認します。