Yes, in 2017 we'll be shipping DevTools outside of Firefox. At first it will probably be an add-on and we'll evolve from there. But it should mean less time between features and fixes and deliver to developers.