Considering the importance of grid performance to most ExtJS customers, why doesn't Sencha fund it's development?