"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?)

[DeeJay]

There seems to be some progress with tidying up 'loose ends' at the time of writing.

Perhaps an opportunity to deal with this?