2023-11-11 UTC
# 
Loqi [jeremycherfas]: Zegnat left you a message 9 hours, 31 minutes ago: actually, that whole thing was like a minute worth of work, so I just used the on-GitHub code-editor to file a PR. Let me know if it fixes it. Happy to explain the code change more if you want for learning! https://github.com/idno/known/pull/3162