Как изменить права пользователя с помощью JetBrains DataGrip?

Насколько я могу судить, состояние искусства таково, что вы либо

• писать+запускать написанные от руки операторы SQL для управления пользователями (см. документы MySQL в [1])
• запускайте DataGrip в фоновом режиме при запуске MySQL Workbench или phpMyAdmin на переднем плане и выполняйте там управление пользователями

Будем надеяться, что ситуация улучшится, но сейчас, кажется, даже нет запроса на это.

[1] https://dev.mysql.com/doc/refman/5.7/en/user-account-management.html