"Boot diagnostics on the Raspberry Pi 4" - valid for RPi5 as well?

[DeeJay]

https://www.raspberrypi.com/documentation/computers/raspberry-pi.html#boot-diagnostics-on-the-raspberry-pi-4

Starting with version 2020-04-16 of the Raspberry Pi 4 bootloader, diagnostic information can be displayed at boot time on an HDMI display. To see this diagnostic information, power down the Raspberry Pi 4, remove the SD card, then power back up

Should the scope of this section be expanded to explicitly include RPi5 hardware? (I think I am correct in saying the same diagnostic display is generated?)