On Thu, Nov 24, 2022 at 09:31:55PM +0000, Eric Wong wrote:
> The below case generalizes it to all HTML displays and removes
> the special case.

It looks good to me in some cursory tests, thank you!

-K

Reply via email to