Yes you are right. Due to a typo, I was re-generating the GPG message and unintentionally re-created the dmg file, which unfortunately I didn't upload to Github along with a new GPG message. A regenerated Mac dmg file, even from the same input files, gives a different binary output, hence a...