would find their heads exploding with the "MRA" stuff!
I am on CSRS-Offset as I started ahead of the FERS transition, so I am not on FERS but on a CSRS annuity that is offset to accommodate a SS component that can be applied for and collected by a retiree starting at age 62. In my case, I had a SS payroll tax taken out of my salary, plus a CSRS contribution taken out. Regardless of whether SS would be applied for (later or at all), in the CSRS-Offset situation, the CSRS annuity component would still be reduced once the retiree hits 62.
The legacy "all-CSRS" people had no SS taken out at all during federal employment (and there are a handful still in Congress, e.g., Hoyer and Grassley), who came in under CSRS. But if they have enough quarters from other jobs - before or after federal employment, then they can FINALLY add that SS income when they retire, as those in that category had the penalizing WEP and GPO laws applied to them, negating their ability to collect both, and those negating provisions were repealed recently through - H.R.82 - Social Security Fairness Act of 2023)