* see conclusion at bottom *
I know this sounds basic, but -
Recommendations for an Android PDF reader for phone and tablet?
I would wish for open source, bookmarks, annotations and easy text copy.
That is not as frequent as one would wish for.
/Edit with conclusions:
Thank you for your recommendations! I will be using MJ PDF. Not sure if it is still active, but most recent release from 2024 is good. It does not, in fact, support annotations, but it is good for reading.
I installed with Obtainium, but it is available here:
https://www.openapk.net/mj-pdf/com.gitlab.mudlej.MjPdfReader/apk/download
I will try out the other suggestions on my tablet. Again, thank you all.