I have no problem with this idea. Also, 20 and out retirements in the (non-military government needs an adjustment. These people are gone just when they are in their prime. Often they government hires them back as contractors or advisers and big bucks.
20 and out retirements in the federal government are long gone UNLESS you start working for the government in your late 40’s then perhaps you could retire after 20. However, you get 1 percent of your salary per year. So you might get around 300 dollars a month for 20 years of work. Most people work 40 or try to to receive 40 percent of their pay to get around 800 dollars a month pension. It is more than what some folks get for sure but it is NOT as good as people believe UNLESS you are REALLY REALLY high up in government which MOST people ARE NOT!