address review comments

Author: lqd

posts/inside-rust/2023-09-25-polonius-update.md

@@ -138,7 +138,7 @@ If a similar experience to NLLs in edition 2018 is to be expected again, another
 
 At this point, the location-sensitive pass is hopefully efficient enough, tested in practice, somewhat formally verified, and can be enabled in edition 2024.
 
-Around this time, librarification efforts can also be rebooted, to turn the in-tree Polonius into a library, maybe using [Stable MIR][]. This is so that it could be reused elsewhere, for example in [rust-analyzer][], or [gccrs][], or by researchers working on verification tools (like [kani][]), [prusti][] and [creusot][]).
+Around this time, librarification efforts can also be rebooted, to turn the in-tree Polonius into a library, maybe using [Stable MIR][]. This is so that it could be reused elsewhere, for example in [rust-analyzer][], or [gccrs][], or by researchers working on verification tools (like [kani][], [prusti][] and [creusot][]).
 
 [Stable MIR]: https://github.com/rust-lang/team/pull/729
 [rust-analyzer]: https://github.com/rust-lang/rust-analyzer