Mozilla's Pocket Bookmarking Service to shut down

Mozilla's Pocket read-it-later web bookmarking service will be discontinued in July. Users have a few months to export their data before permanent deletion. Some Pocket functionalities will remain accessible via Firefox.