21:12:15stassatsso this is another issue where something is deleted but is not removed before something else sees it
21:13:00stassatsi really like to make it so that deleting something immediately rebalances the IR, but then it's not guaranteed to reduce the amount of bugs
21:13:14stassatssince most of the places are already patched
21:17:14stassatsok, no more ir-copy bugs (without actually implementing ir copying), but maybe pfdietz will find some more