some options changes, updated web-mode