Excellent comment as the first thing I thought after seeing the submission was exactly "how does it compare to f* and lean"?

Thank you!