Has MasterCoin died? I still have my mastercoin wallet and was looking to see what funds I have in it, but none of the links in the OP work. Did it have a name change to omni or is this a completely new coin?