A Super-lightweight interactive JavaScript shell that fits into a bookmarklet