Improve dfa.c if not MBS.
More doc improvements.
Merge branch 'gawk-4.1-stable'