More minor doc edits.
Merge branch 'gawk-4.1-stable'
Merge branch 'master' into print-exp
Further progress on print returning value.