Didn't they write a whole blog post on why they chose Zig over Rust?