Thanks, Jens, much appreciated. I suspect I even knew this once and had since forgotten it.
(I even glanced at the docs, saw the two kinds, but didn’t pause long enough to wonder if it mattered to me.) -- 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/69320674-8272-4751-a6ce-40c140a7358c%40googlegroups.com.
