They don't have to do that at all. They could've used mainline Zig, without their vibe coded changes to it.