Description says invisible rather than ignore

The manual description of ALTER TABLE https://mariadb.com/kb/en/alter-table/
has a line

   |  ALTER {INDEX|KEY} index_name [NOT] INVISIBLE

but that's MySQL. Correct is

  | ALTER {INDEX|KEY} [IF EXISTS] index_name [NOT] IGNORED

By the way: VISIBLE is listed under index_option but that only is okay for ALTER ... ADD or for CREATE.
So I can say
CREATE TABLE t2 (s1 INT, INDEX i (s1) VISIBLE IGNORED);
but that's not a problem because MariaDB allows contradictions.