As a fan of Zig, and knowing that Bun is Zig's highest profile project, I am happy to hear that it wasn't this easy to excise Zig from Bun.

I guess they can just hook up the agent to Miri checks and let it grind away, and see what happens.