FY23 annual report for FY22/23 act and the $800m is per the trading update.
I just adjusted their FY22/23 net debt to exclude leases to compare to their $800m figure.
Per trading update:
* Net Debt (excluding lease liabilities) of approximately $800 million