Sad to hear they are just "discontinuing" it rather than porting it as an addon. Or is it killed because it's the kind of addon impossible to implement with the

Sad to hear they are just "discontinuing" it rather than porting it as an addon. Or is it killed because it's the kind of addon impossible to implement with the new WebExtensions API?