Hi Pavel, >>>When try to look on _shortened_ names in your web listing of bin/2.0.0/.
I changed the column width. >>>Also updated files are replaced on your mirror or remain undetected We are currently using the wget --mirror command and it's an automated process so the files are handled accordingly. Cheers, Sascha
