2023-11-10 UTC
# 
Zegnat !tell jeremycherfas 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