More minor doc additions.
Merge branch 'gawk-4.1-stable' into new-vms
VMS updates.