From reading the article, I get that the latest version can transform some C into safe Rust.

This gains us machine-proved memory safety. This is huge.