src/*.html: minor editorial changes & HTML edits to reduce file sizes