IRC logs for #opendune on OFTC on 2025-05