[noize]

Also, the manual you're referring to is the manual for GAWK (GNU AWK), which is a very similar dialect of the AWK language, but not always analog.

GNU AWK is not a dialect, it's one of the main language implementations of AWK. It just provides some more features than the AWK specification requires. That means everything that is AWK works with GNU AWK. The guide covers both: AWK as specified in POSIX and GAWK specific features.

Yess, you're right again. Still, back to roots, not everything you see in the GAWK manual is valid for AWK just as well.

@Deque Should you include this in the programming language introduction thread of yours ?
I think it would be convenient to include it in that thread of yours miling:

Eh, I don't know, I mean, this is pretty much of a shoddy tutorial, if this goes in that list it would be just because no one else on HC probably ever made an AWK tutorial. At least she might want to wait until I add the part about records handling.