Thought I’d mention pdftxt. It translates pdf files to text using libmupdf. Haven’t found anything more lightweight to do the same job. Would be curious if others have. There are some other interesting framebuffer and command line programs at the same site too.