- @2.2: awk 'BEGIN { ORS="\n\n" }; 1' the ; is not necessary AFAIK.
- @3.4: same applies in awk 'NF { $0=++ a " : " $0 }; { print }'
- @3.7: ; before END
- @3.9-3.11,3.14: ; before END
- @4,17: "This is the ﬁrst time we see the -F argument passed to Awk." Actually we had seen in @1.1.