Improve handling of writes to dead pipes.
Fix extension portability for AIX.
Merge branch 'gawk-4.1-stable'
Update TODO.
Documentation updates.
Merge branch 'gawk-4.1-stable'