[bug-gawk] --lint=no-ext and multidimensional arrays

[M]

Hello! When launched with the option --lint=no-ext, Gawk v5.0.1 still warns 
that multidimensional arrays are a gawk extension.

How to reproduce:

$ cat test.awk
BEGIN {
   a[1][2] = 3

   exit
}
$ /path/to/gawk --lint=no-ext --exec test.awk
gawk: test.awk:2: warning: multidimensional arrays are a gawk extension
$

Looks like a bug.
_______________

Yours respectfully,
Mark Krauze