libera/#slime - IRC Chatlog Search Sunday, 10th of October 2021, 17:15:59 UTC 22:28:46 JeromeLon luis`: yes, thanks, that is indeed much better than what I was doing