JAK, that would have been the correct answer up until the end of the tax year FY2020. But from FY2021, the IRD brought in reporting of PIE income. Using questions 36 and 37 from the IR3 form, and the associated spreadsheets in the IR3G instruction book, a mechanism became available to claim overpaid PIE tax credits that had been deducted incorrectly at too high a rate.
No, not pointless at all. Sounds like you did the right thing.
SNOOPY