Sorry about that, Tamas! Thanks for the update.
@ChrisRackauckas I’ve never touched that callback. I think it predates the aggregators maybe? I never deleted it as I wasn’t sure if there is some other context where it gets used.
Alright, let’s try deleting it. I think it’s just dead code.