That's not quite what he is talking about. With the Pixel every single time you boot (not just when you initially put it into Developer Mode before installatio

That's not quite what he is talking about. With the Pixel every single time you boot (not just when you initially put it into Developer Mode before installation) you are greeted with a nice big warning label about OS verification and you need to press Ctrl-L to kick it into SeaBIOS so that Grub can be kicked off. It turns on and off as normal after installation, you just need to hit Ctrl-L mid-boot each time. I reboot infrequently enough that this hasn't annoyed me yet.