convert to US-ASCII, finish HTML5-ify, remove unneeded