merge latest MuPDF update
more consistency for outOfDateCue visibility