[michaelbazos]

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/...

[sergeykish]

This is great! But it is minified and there is no link to source. Why?