Yes, there is no better way. There is a related active Firefix request: https://bugzilla.mozilla.org/show_bug.cgi?id=1419947 . I hope the solution 2, which allows extensions to override the default switching, can be accepted.