I think we can come back to it later as a clean up. We need to get rid of `html_id` imo and replace with `unicode(usage_key)`. Before HTML5, id attrs had very restricted char sets so we had a lot of code making even more ugly ids.