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