Fix minor annoyances in the HTML. Remove old resource from manifest.