[Iris-lean.cs] Anyone doing Rust + Iris-Lean?

Just a heads up (in case you don't check the Zulip) because it appears Jianan Yao's group is taking a go at it. I can't recall if this was brought up at any point in our discussions. Markus