Issue #17529: Fix os.sendfile() documentation regarding the type of file

descriptor supported.