So today, October 15th, should be the last day to withdraw your coins, given that you have a minimum of 7,500. Quoting the blogpost:
While it may seem like a subtle change to simply turn off withdraws, this actually has a big affect on how coins can be used.
It means we can give away coins more freely. This will transform coins from something that only a small percentage of the players use to something everyone can use, not just paying customers.
It means the rules around coins and coin games can be significantly less strict.
It means coins can become much easier to use. Less headache, more fun.
So, they're not gone. What will be the future of coins? Would be a nice time to announce it as it is the last day of withdrawals.
Full blogpost: https://www.warlight.net/blog/index.php/2017/08/ending-coin-withdrawals/