Redis labs employs antirez, the Redis trademark is owned by antirez but used by Redis Labs and the open source project has a page for commercial support which directs you to Redis Labs and no other potential commercial support options. The ties between the open source project and a single company are much stronger than any of the examples you have provided. I would argue strong enough to warrant classifying Redis as open core.