$ awk -version awk version 20200816
# awk -version awk version 20210215
Reply on news.ycombinator.com