I’m not sure I agree with that, especially if there were easy wins that could make the world less fragile with a much smaller intermediate effort, eg with something like FilC.
I wholeheartedly agree that a future of not-C is a much better long term goal than one of improved-C.
I don't really agree, at least if the future looks like Rust. I much prefer C and I think an improved C can be memory safe even without GC.