I've just downloaded the new release from TLA toolbox (1.5.5) for Mac, but it can't run on my computer (Mac OS high Sierra). A message is prompted: "TLA+ Toolbox is damaged and can’t be opened". I downloaded it from https://github.com/tlaplus/tlaplus/releases/tag/v1.5.5
. Is someone else facing this problem? Thanks!