Remove some completed TODOs.
Fix html-elementdef => html-elemdef.