Hello @Dave_White
in the mean time you could use Advanced - PIN and setup GPIO9 (IR) as pin0 / output and then set pin0 LOW to turn the IR LED on.
Below MicroPython code lets the IR LED blink:
from m5stack import *
from m5ui import *
from uiflow import *
import machine
import time
setScreenColor(0x111111)
pin0 = machine.Pin(9, mode=machine.Pin.OUT, pull=0x00)
while True:
pin0.off()
wait(1)
pin0.on()
wait(1)
Cheers
Felix