extension options.js and .html
minor changes
nothing