Yet Pocket is a core part of Firefox instead of an extension.
Mozilla's manifesto is just marketing now — it's obvious they don't really believe it any more.
And I'm not sure how that invalidates anything I said above, or really is of any relevance at all.
> Nobody did use them though. They belong in an extension, it's the perfect use case. [...] every single unused line of code, let alone an entire feature, adds a maintenance, security, documentation and testing burden.
And the same holds true for Pocket.
Pocket is used by people and is a feature Mozilla want to prominently integrate with Firefox. This is due to the financial gains they directly get when someone signs up for Pocket premium.
It's not an unused, dusty feature that's adding a burden to the platform and is a net time + money sink. It's something that makes them money.
As I said, in the comment you just replied to, even if nobody did use pocket then this would be a burden they are willing to take. So, comparing RSS feeds to pocket on the fact that it can be implemented as an extension alone is a nonsensical point.