Clearly, whoever designed the Pixelbook keyboard talked to real users. I wish I could dual boot to Ubuntu on this machine.