Yup, that was one of my contributions, but you’ll see in the edit history that David Wiley made some changes to improve it. As for the larger points in the post, I’ll have to think about it some more and write back.