Personal Tax Allowance for Australian residents

Hi, I worked in the UK from 2004-2008 and have a workplace pension from my company from that period. I will be entitled to access the pension in 2025 and will transfer the maximum amount allowable per year without paying tax. I am a resident and a citizen of Australia and have been since 2008 and will not be returing to the UK. I believe that Australian residents who are citizens are eligible for the Personal Tax Allowance (GBP12,570) and can draw this amount from their UK workplace pension annually without needing to pay tax to the UK tax office. Can you please confirm this ? I also understand 25% of the value of the my workplace pension can be withdrawn as a lump sum without incurring tax liabilities in the UK. Can you also please confirm this ? Thanks in advance. I understand that

Hi Wayne Tomlinson,
HMRC cannot comment on future events as legislation and/or plans may change.
For current guidance, please refer to Tax on your UK income if you live abroad.
Thank you.