Good point. Will tidy the docs.
You should still be able to enable/disable the plugin on the “installed plugins” page.