meta: what happened with Docker+MirageOS? Seems like the whole team that was acquired a while ago left to found this new company (Tarides)? Not sure if anybody

meta: what happened with Docker+MirageOS? Seems like the whole team that was acquired a while ago left to found this new company (Tarides)? Not sure if anybody has more background, just curious :-)