Make TavDiv standalone binary work. Update docs/.