@43b5df12 It's interesting how many things we know that don't make it into the book or only make it there as an off-hand comment 😁