Dec 6, 2025 Replying to: john.philpin.com @JohnPhilpin Thanks for the link. Actually hadn’t seen it yet.