Yes to HE. It was voluntary redundancy.
It had been going on since 2020 coming in various rounds. During the pandemic was the wrong time to move, but following that opened up a lot of opportunities for me with remote working. I waited a while hoping it would come back round and had not for a while. In the end I was faced with turning down an offer for a higher paid job and a way out (a place with 3 years of redundancy and merging multiple jobs together is not a happy place) or waiting to see if another redundancy round would come again. I handed in my notice then it came around again.
On the other hand, I was manager of what ended up a huge IT operations team where 3 jobs was merged into mine. Not everyone got redundancy and I can see why my old post would not have qualified. I was managing 15 people in the end, so they would have had to decide who all those people would report to if my old position was not replaced. As there had been a managerial cull in 2020 (mostly people retiring), there was not a lot of scope to not replace it.
Interestingly, my replacement quit after a year for a higher paid job without trying to do 3 jobs.