Documentation states that RESOURCE OPTION is a keyword section in CREATE and LATER USER

The documentation for CREATE USER and ALTER USER for MariaDB 10.2.0:
https://mariadb.com/kb/en/mariadb/create-user/
and
https://mariadb.com/kb/en/mariadb/alter-user/
seems to imply that to add a resource limit for a user, such as MAX_USER_CONNECTIONS, this is prefixed by WITH RESOURCE OPTION, where the correct prefix is just WITH, followed by the resource options. This is also what it looks like in the examples provided, So instead of

CREATE USER 'foo'@'bar.com' WITH RESOURCE OPTION MAX_USER_CONNECTIONS = 5:

the correct syntax is:

CREATE USER 'foo'@'bar.com' WITH MAX_USER_CONNECTIONS = 5: