On Thu, Jul 16, 2020 at 08:34:25PM -0500, Esme Povirk (they/them) wrote: > I think this will just add more confusion, if playback is fixed to > handle missing fonts. Very good point. It's probably best to just disregard this patch.