I actually would argue that Hashimoto "left" earlier. He "stepped down" from the executive team July 2021 and became an individual contributor then. He likely lost interest/power a long time before 2023.
https://www.hashicorp.com/en/blog/mitchell-s-new-role-at-has...