It's likely that their AMRF was converted automatically into an ARF in January 2022, when AMRFs were abolished. In 2022 and 2023 they should have received income of at least 5% each year from the ARF. This might explain why the ARF doesn't appear to be growing. Or maybe they chose low-risk, low returns funds.
Agree with Gordon's advice that they should withdraw around €6,000 per year to stay just below their Income Tax exemption limit.