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
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