Address feedback by Pierre-Emmanuel Patry

Pierre-Emmanuel is the first/given name rather than a first and a
middle one. Using just "Pierre" is not correct.

Also, GCCRS is already using Polonius.

Author: tomassedovic

content/inside-rust/program-management-update-2025-09.md

@@ -133,15 +133,15 @@ The "front-end" here means that GCCRS reads Rust code and transforms it into an
 
 [ir]: https://en.wikipedia.org/wiki/Intermediate_representation
 
-Pierre highlighted the difficulties of compiling even a "simple" `for` loop: to do that you need to be able to resolve traits and handle iterators and macros.
+Pierre-Emmanuel highlighted the difficulties of compiling even a "simple" `for` loop: to do that you need to be able to resolve traits and handle iterators and macros.
 
 Their main target is to compile Rust's [core library][core].
 
 [core]: https://doc.rust-lang.org/core/
 
 After that, they've set their sights on compiling the Linux kernel (including the Rust part). Linux can currently be built with either GCC or LLVM, but it is strongly recommended that everything use one or the other. This will be beneficial to some projects that are required to use the GCC toolchain.
 
-Interestingly, the project is completely ignoring a borrow checker for now. Instead, their goal is to compile *correct* Rust programs — i.e. only those that `rustc` itself would compile. In the future, they plan to look into [Polonius][polonius], but it would be premature at this point.
+Interestingly, the main effort is not going into the borrow-checker at all. They're using [Polonius][polonius] right now and the compiler is only handling *correct* Rust programs. In the future they're looking to integrate the next-gen borrow checker, but that's some ways off (and would require it being moved to its own crate).
 
 [polonius]: https://github.com/rust-lang/polonius