Would it be possible to move it to an add-on for those who still want it? Are WebExtensions supporting third-party-libs?