this is not a regular pension but a supplementary benefit plan vested entirely to the employee alone. I had the same plan and converted it to an IRA, although I did do that before the age of 70 1/2.
I believe the second answer is correct. take an RMD in 2020.
