They're very safe - per https://twitter.com/dguido/status/927896527107952640, they're stuck there forever.
It's ethereum, they'll just hardfork those coins back
Apparently almost $300M stuck - I don't see them not bringing up another hard fork to retrieve them
Perhaps it can be fixed though, as part of the next hard fork.