Edit: Checking more closely, something like that: http://getpocket.com/blog/2009/08/reading-it-later-two-years...
So it does sound likely that Pocket was well known.
I think the integration is useful, and I've used it quite a bit. It's a lot better (faster, more reliable) than pocket's old extension.
Do we really want Mozilla to go that way though?