That tracks. IBM acquiring Hashicorp was a persistent rumor I heard during my last year at IBM (timing was not long after the Red Hat acquisition).