Edited - Mar 14, 2023, 9:22 PM (PDT)
Yep, it's Woolly's work, all right. He misspelled "substitute"... ;-)
I just saw the error and fixed it.