Can a checksum be supplied for the Protege.app to allow for validation where using a GPG tool is not possible?