and we should feel bad. We need a way to exclude plugins such that we can git pull without reloading all plugins, for example.