Merge branch 'macos-gawk' into 'master'

Document installing gawk on macOS

See merge request !6
3 jobs for master in 4 minutes and 2 seconds (queued for 3 seconds)