[daw___]

Actually, it's the Pocket chrome extension that adds the "save to pocket" button.

[TimMeade]

Ahhh... We'll regardless it's great. I've been using it since almost inception. Many thousands of saved and tagged sites. It's the tags that make it great.