Title: HOTLink user's guide