AFAICT, it's roughly 30 people, mostly seniors.
> but I’ve looked through the mupdf code and what I saw was really nice.
It is! Best onboarding experience I've ever had.