I've been a happy user of sencha.io. By chance, I saw today in the forum that the service is being discontinued. I cannot see any official notice about this, or when the servers will stop working.

We have a live service that depends on sencha to work, so this is suddenly a huge concern. Googling doesn't seem to find any information. Does anyone on this forum know when the service actually stops working?