You are stating in step #2 that the Pi4 cannot output 4k at 60Hz. Could you please insert a footnote that it actually can?

https://www.raspberrypi.org/documentation/configuration/hdmi...