text hover enhancements : more HTML and better token recognition [ as of corporate 1e0b3adf30e042693c4a1564ae18819ff258ab6a ]