Doesn’t take into account that a lot of additional services, such as GitHub Actions, have been added since the acquisition.