#60: support plugin.deactivate()