It's released! No more crashes from (at least some subset of) bad HTML. No more crashes from double-clicking on Sounds. International characters all work properly. Searches escape special characters and replace spaces with +'s. Ken