> I'm guessing these aren't actually deleted because they're allocated with a > BumpPtrAllocator or something? Correct. The situation with MCFragments is really odd at the moment, but this at least keeps the bots green while the code is refactored. Cheers, Rafael