* The graphical user interface has a new menu: Edit|Options
* A bug which could cause the HTML driver to go into a tight loop
* The graphical user interface has a new menu: Edit|Options
* A bug which could cause the HTML driver to go into a tight loop