Don't have Telegram yet? Try it now!
https://www.androidpure.com/google-pixel-4-and-pixel-4xl-codenames/
Google Pixel 4 and Pixel 4XL codenames spotted on AOSP website