On Wednesday, September 30th, 2026 at 05:15, Felix Winkelmann <[email protected]> wrote:
> Have you contacted Alex Shinn? Yes! The main purpose of this patch is to bring in changes that he has implemented in the upstream implementation. I basically copied them verbatim. The other small change is to the CHICKEN-specific extension for displaying as HTML. Diego
