[jlrubin]

Yup -- this definitely feels like a dig at her. Who invented Tezos? Why, of course it was Leah! After all, what's in a name?