I think someone asked. But is it possible to classically convert a PDF into JSON? And the answer is yes, yes you can. The feats of programming know no end (it’s out of my explanatory scope, sorry).
qpdf --json-output my.pdf my.json I’m finally realizing that in the stack link of this post, there’s actually an entry about “grepping” the device. Everything’s a file or something. It feels comical.