88ce65266e
So we avoid having to disable and enable an extension that is to be disabled later anyway. https://bugzilla.gnome.org/show_bug.cgi?id=700784