Revert "i am ok with coral"

This reverts commit cfeb1baa76e92f4fc20d2c85ee76a375529398fd.