Yes, I mean they are not difficult to remove, but I think it would be fair to add the context that they're going to have to fork it. E.g open source is not a panacea either, they will likely also struggle with postgres being a bottleneck for that number of users (particularly on search), the redis integration is not part of open core.