Update VMS doc.
Merge branch 'gawk-4.1-stable'
Minor fix for mktime.
Merge branch 'gawk-4.1-stable'
First round of indexing improvements.
Merge branch 'gawk-4.1-stable'