Thanks for the explanation! But if his advice is to completely forego borrowing and lending, it's a bit counterintuitive to use his name for the borrow checker? OTOH, the borrow checker can certainly be described as "prone to fretting and offering kind of annoyingly obvious advice", so maybe it's appropriate after all?