Ajax Tooltip script

This Ajax script enhances the default "title" attribute of HTML so certain tooltips can instead get their contents from an external file, with rich HTML content and all.