Of course it's probably not the same user base. But the point imo is that users did use it and get value out of it, even if die hard users cried hard their browser was invaded and that Mozilla lost the plot.

We even have commenters here saying Pocket lost Firefox some market share (without any evidence or argument in favor, so a gut feeling too), but nobody to say that maybe the feature was used by some? And maybe that was a pull for Firefox vs Chrome. (I'm not saying it was, I'm just saying we don't know)