Hi Eds,
I believe the Rename Device option you found only applies to Bluetooth; it will change how other devices see your phone over Bluetooth but will not have any bearing on how it identifies itself on WiFi networks.
I know some community-built ROMs include an option for changing the network hostname, but that's not a feature of stock Android on the Pixel XL.
Cheers,
CS