Extensions Manager (aka Switcher)
Quickly disable extensions not needed for time being, without having to open settings