I rarely use the .5 wide angle lens on the Pixel 8, but I needed it to get it all I wanted to capture here. I did correct most the wide angle distortion with Photoshop and DxO Viewpoint 3.(The window at the right is too wide.) This is just resized down. No other editing.