An HTML attachment was scrubbed... URL: <https://mailman.common-lisp.net/pipermail/armedbear-devel/attachments/20221021/333b44e2/attachment.html>