I wonder if the devops company was this one: https://gravitational.com/teleport/index.html https://gravitational.com/teleport/index.html EDIT: Actually, it lo

I wonder if the devops company was this one: https://gravitational.com/teleport/index.html https://gravitational.com/teleport/index.html EDIT: Actually, it looks like it's Hashicorp.