Update content/posts/this-month-in-hax/2024-09.md

Co-authored-by: Franziskus Kiefer <[email protected]>

content/posts/this-month-in-hax/2024-09.md

@@ -22,7 +22,7 @@ rewrite more `return` expressions: we are now planning on supporting
 `return` inside loops, along with `break` and `continue`.
 
 We've been improving F* support and F* libraries. Importantly,
-[cmester0](https://github.com/gaetan-sbt) is working on a model of
+[cmester0](https://github.com/cmester0) is working on a model of
 `core`, in Rust: we aim at replacing our hand-crafted F* model of core
 by an hax extraction of this new core model implemented in Rust. We
 will also be able to extract this model of core in every of our