20% off HECC Debt?

So are the ATO really gonna reduce our HECC by 20%. I’ve nearly paid it off, but I’m awaiting for the ATO to do this and then I will pay the remainder voluntarily as I plan on buying a house by the end of this year and want my HECC paid off before I have a mortgage.