Fixed bug where Export to HTML wouldn't work. There was some problem with Unicode. Fixed for now, but I should probably find why that was happening in the first place.