IncreaseDownloads, Version.operator==