Sometimes the cache file can become corrupted after installing other extensions. After you have installed HTML editor and see it working successfully then you should install the other extensions one at a time and check the html editor to see if it is still working.
You may need to clear out the cache file again after installing other extensions. Please let us know the result you are getting and if the problem persists I will open a ticket for you.