Also works for WooCommerce product categories

I have had HTML in my product category descriptions for years. Every new WordPress release seems to break long-standing features, so I shouldn’t have been surprised when I edited a product category and found the HTML stripped out. I took a look at what this plugin does and thought it would probably fix the problem and, indeed, it does. Thanks!