Developing HTML, CSS, and JavaScript for the web just got a whole lot easier: we’re happy to announce a new version of WorldWideWeb with major improvements to auto refresh.