@simon That is my main use-case for Readwise.io Reader. It generally does a reasonable job of extracting text from PDFs that I can read in the app.