gawk doc update