Yep, also HE.
On mine, I thought the final salary part was based on what my salary was in 2008 when that part of the scheme ended, and my current salary doesn't reflect on that. I've just checked now and that bit will give me around £8k per year, and I'm sure that has been fixed like that for a few years. I've had a couple of salary changes in that time and would expect it to have risen quite a bit if it were linked.
I'd love another round of resignations to come around about the time I'm ready to retire. The place I was working has been in dire financial trouble for years. A few people I knew took the redundancy and retired a year or two early feeling very comfortable. If I had taken it, I would have got 14 months wages, but when first offered it was in the middle of covid. jobs.ac.uk is the best place for academic jobs and they had 17 jobs advertised across all salary bands. It was too risky to consider going then. In the end I found another job about 2.5 years ago, resigned and they announced another voluntary redundancy round the week after.