* NEWS: Mention mawk bug and workaround.