Suggested switch of PDF viewer default app

I suggest the use of this PDF app as default instead of mupdf (for heaving a bit more feature rich UI)

https://f-droid.org/fr/packages/com.gsnathan.pdfviewer/

EDIT: Main lacking feature of ucrrent mupdf is imho that there is no way to share the file that is currently being viewed