In fact they did purely make most of those things. Also they took Mesos from a barely working prototype to a system that scales to 100K+ nodes running many thousands of different workloads in production. They did that not only by hiring Benjamin and paying him to work on it but also by surrounding him with two of the strongest engineers I've ever worked with (John Sirois and Bill Farner) as well as 3 or 4 more I didn't work with as much so I can't say how much they added but it was clearly a large investment. Effectively they seed funded it for almost 4 years. Other people worked on it too, but they were the lion's share of the commits and did almost all of Aurora too.

I think they played a big part in shaping Mesos early on if any of the interviews/talks I've listened to are any indicator. They were one of the early adopters and hired one of the people that created the project at Berkley.

I think Mesos is the only one from that list they didn't make, they were just an early adopter on that one