Phoenix, we have had a problem… not anymore though… 🙂 The web dev tools team posted a note about the release here.
The fix includes Html Source View Performance fixes, Design View Fixes, Html Editing Fixes, Javascript Editing Fixes, Web Site Build Performance improvements. Read the full post here.