It could be useful to indicate, on the site, the md5sum fingerprint of protext.exe... It is there -- http://tug.org/protext/ftp/protext.exe.md5 shows: 4ff2771939fc26ff3b7504df89c6f064 protext-1.2.exe I added a link on the web page.