Better HTML encoding for RAW html