[Maria-docs] 10.6 ALTER TABLE ... ADD/ALTER INDEX ... [NOT] IGNORED

Hello, About https://mariadb.com/kb/en/alter-table/ , the 10.6 [NOT] IGNORED index option: It looks as if [NOT] IGNORED was not documented in the ALTER {INDEX|KEY} subclause: ALTER TABLE <name> ALTER INDEX name IGNORED which works fine too. This syntax was shown on https://mariadb.com/kb/en/ignored-indexes/ though. The documented syntax ALTER TABLE <name> ADD INDEX (<columns>) IGNORED seems to work fine. Thanks, Andre