Stdio.File: Improved documentation of write(). Restructured and more details about behaviour in nonblocking mode.