@JohnPhilpin But I’m not bitter. (I may have crossed into Grumpy Old Man territory)