Many related fixes for unicode, gumbo and html