Wouldn't hurt to check would it?
Using the mysql client, logged onto the DB server using the creds in config.php:
SHOW GRANTS FOR '<user>'@'<host>';
Your host is probably localhost.
in code/admin/cli/
php uninstall_plugins.php --show-all
php uninstall_plugins.php --show-contrib
php uninstall_plugins.php --show-missing
php uninstall_plugins.php --purge-missing --run
php uninstall_plugins.php --plugins=[shortnameofplugin],[shortnameofotherplugin]
above is dry run
To actually remove:
php uninstall_plugins.php --plugins=mod_assignment --run
That script has the ability to remove tables but you must also manually remove related directories in code directory.
Think I'd try removal of the 'health' ... that has been removed from core and now available as an addon.
'SoS', Ken
by Ken Task.