Download binary file, text-doctools.pub