That was most interesting, thank you for posting it!
I’m glad you did. I thought so, as well. Makes the considerable effort to post it worthwhile.