Add link to TotalIn specification