The post is about the overall launch of the device, not only official GrapheneOS support for it. They have their own OS with Google Mobile Services. They've made sure the device will meet all of our requirements and are helping us develop and maintain support for it. It's not the main OS for it.