[bug-gawk] Documentation Misprint

[М]

Good afternoon. I've noticed a context misprint in the last version (5.0.0) of 
GNU AWK documentation:

2 Running awk and gawk --> 2.2 Command-Line Options --> -f source-file --file 
source-file

"Files named with -i are treated as..."

Most probably, there should be the "-f" option, as the same paragraph for the 
"-i" option can be found where it's expected:

2 Running awk and gawk --> 2.2 Command-Line Options --> -i source-file 
--include source-file

_______________

Yours respectfully,
Mark Krauze