On Mon, Feb 1, 2021 at 11:52 AM Wolfgang Corcoran-Mathe <xxxxxx@sigwinch.xyz> wrote:

Done, done. The optional SRFI 43 import was added in commit 25128f27,
which was merged on 2020-11-06.

Ah, I see. Sorry, I lost track of the correspondence between the thread and the pull request.

Thanks to you both!