gawk: Manual Section on Ranges

[Jake]

Hello,

I was reading the gawk manual page (last updated July 24, 2009) on ranges
found here: http://www.gnu.org/manual/gawk/html_node/Ranges.html

At the very end of the page it says: "This cannot be changed or worked
around; range patterns do not combine with other patterns:"

It seems to me this can be worked around with a flag, similar to the
double-match example given above it.

$ echo Yes | gawk '{skip=1;} /1/,/2/{skip=0;} /Yes/{skip=0;} !skip'
Yes

Perhaps this could be pointed out on the page about ranges.

Thanks for your time.

-Jake Cobb