I haven't forgotten about the Windows version of Html SymboliZe--although I have been a bit more interested in the Linux release as of late. Despite the amount of time I've been devoting to the Linux release, I have managed to take some time and start working on some basic documentation for the Windows release, which will hopefully be a major part of the next and, for now, final release of Html SymboliZe for Windows.
Html SymboliZe has all of the major functionality that I believe helps make a worthwhile GUI-based program. Therefore, I have no reason to further develop it for the time being--although I have considered porting Html SymboliZe (Windows) to Python3.