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 racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/20211122223659.GA16849%40topoi.pooq.com.
