libera/#sicl - IRC Chatlog Search Sunday, 19th of June 2022, 14:23:19 UTC 17:16:01 CodeBitCookie[m] *no-defun-allowed*: Yeah.