>
> It seems that your patch was merged upstream: 
> https://bugs.ghostscript.com/show_bug.cgi?id=706320
>

Great, that was fast! 😃

>
> So I think that we could left `doc-view-mupdf-use-svg' as it is and just 
> have an entry in etc/PROBLEMS.
>

Agreed, just mentioning that some specific versions of mupdf have a bug 
should be enough.  It would be even better if DocView could automatically 
fall back to generating a PNG file, but that seems rather complex to do.