Doc updates on distribution contents.
Merge branch 'gawk-4.1-stable'