Source: https://www.slashgear.com/nexus-pixel-phones-wont-get-their-krack-fix-until-december-12507728/