Tribute to Jenni Lee (and &Uacute_rsula Vargues, while we're at it)