IRC logs for #opendune on OFTC on 2023-07