13 ms·> proprietary Pocket extension FWIW, I believe all the Pocket client code is open source.by sciurus 7y ago> proprietary Pocket extension FWIW, I believe all the Pocket client code is open source.