libera/#climacs - IRC Chatlog Search Sunday, 19th of March 2023, 9:35:47 UTC 9:58:17 splittist The last one seems most difficult and most useful... 10:00:30 beach Definitely most difficult. And it has to be done at some point. I feel uncomfortable that this library is understood by a single person.