This is a bookmarklet for editing Javascript and HTML