@mahesh,
Thank you. You are very kind to write the code for me. It works beautifully.
As it turns out, there was something else of which I was ignorant. The reason I wasn’t seeing changes to my child theme’s functions.php file after ctrl-f5 refreshing the browser was that I had not deleted the cache by saving that section again in the Appearance > Customize menu. (Found that suggested here.)
Is that caching done by WordPress, or is it unique to Catch themes? I’ve not noticed it being that aggressive on other themes I’ve customized.
In any case, I love to learn something new, and I greatly appreciate your patience, your help, and this forum.
Southpaw