“toggle tip” is another name for Toggletip.