Rabin,
Thanks so much for your help. Two questions:
First, how should I go about overriding content-extensions.php in my child theme? I’m not sure how to add files to my child theme that are in a separate folder in the parent theme (for example, “Library”).
Second, is this the approach I’ve outlined above the best approach to integrating woocommerce into a themehorse theme? If so, is there a discussion somewhere which outlines how to integrate woocommerce into themehorse step-by-step?
Thanks!