Make it known that jquery.richTooltip.js exists.