Well, they also have Red Hat, HashiCorp is right up the same alley.