Where do we get tipsy?

Looking at the code, nothing happens if the jquery plugin tipsy isnt installed already, but I don't see any documentation on where to get or put that. I'm guessing it's this?

http://onehackoranother.com/projects/jquery/tipsy/