Semantics. It's still a Pixel device regardless of the software. The OS is still Android. Android is open source.