Add section on related tools to the Thot manual.