The purpose of the del statements is to clean up when the plugin is removed, so nothing is left behind. I suppose we could set these to `False` just as well, which would be harmless.