I have installed for the same reason but in my case the HTML is being retained.
The major problem however is that some category descriptions can no longer be edited once created. The description text exists in the frontend and it appear as an excerpt in the Woocommerce category screen, but the moment you click on "Edit" the description briefly flashes on the screen and then it's deleted. If you save at this point, you lose your description.
This is only happening with some categories and I have not been able to find a specific trigger. I am having to deactivate the plugin each time I want to edit the description text, but this is no good to the client whose website I have designed.
A solution would be appreciated as I can't find another plugin that will deliver this much needed functionality.