Whilst the LED brightness could be hardcoded to match a 'typical' ambient light level the Osoyoo kit contains both a potentiometer and a photo resistor. (The micro:bit has a light sensor but it's not particularly sensitive.)
During testing all devices inserted in sockets P3 or P4 ran continuously despite the intent of the program. (I used the green and white LEDs, and a somewhat annoying buzzer.)
References in the code to pin P8 are therefore not accidental.
Unfortunately whilst swapping out one of the 3-wire cables (with pliers) one wire was cut, leaving me with only 3 of the 'shorts' in the Osoyoo kit. I've used 1 'long' for the pushbutton and the remaining 'shorts' for the LEDs.