That seems to be a reasonable explanation. If they have to give up Android, why keep intertwining Pixel development with AOSP?
Quite the irony that many folks who use and develop GOS were probably the same cheering for that anti-trust case against Google…