A lot of times one needs to add additional PHP extensions. While some of them are solving very custom requirements others can be more common. For example, I'd need redis support. What is the policy about that? Is it possible to add more extensions or should we create a fork and own build?