Detrended light curves from TESS as described in Sects. 2.2 and 3.3. The unbinned data are shown as blue points and the data from the 30 min bins are shown as red circles. The best fitting transit model for the system is shown in black; the associated parameter values are from the final posterior shown in Tables 2 and 3. Each line contains about 11 days of observation. The detrended data are available at the CDS.