With Mozilla's #Pocket shutting down (articles are already unavailable, exports can be retrieved through 8 October 2025, see: https://web.archive.org/web/20250927204616/https://getpocket.com/home), I've exported the list of URLs I'd logged with the service.
One of my longstanding gripes was that there was no way for me to get a total of the articles I'd saved.
(There ... were other gripes.)
I now know: 30,735.
In an ideal world, this would have been a useful library of references. I'd tagged many of these (including, eventually, adopting a convention of tagging by archive date which Pocket surely must've known somewhere in its data schema, but petulantly hid from its users), through a loose but somewhat controlled vocabulary influenced in part by both my general interests and some familiarity with existing library ontologies, classifications, and subject headings.
I'm kicking around what to do with this archive. One question of course is how many of the links have since rotted (I suspect a high percentage). I've got a few leads on readability-rendering (including a bash script invoking JS ... somehow ... I've got to look at). Tracking down archived copies, and spinning up a media server, would also be handy.