There are often other extensions that we find too precious to delete them, however we need them only at specific occasions. For those, I came up with a “meta-extension” to easily disable or enable them:

https://chrome.google.com/webstore/detail/extension-manager/...