First reason for ignoring this message: It's an html-only post on a text mailing list.
-- hendrik On Mon, Nov 22, 2021 at 08:06:01AM -0500, Etan Wexler wrote: -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/20211122223659.GA16849%40topoi.pooq.com.
