Well that sucks. It was refunded in 2020. So I apparently don't get to use the full 401K option of 25K that I should be able to use for 2019. That does not seem right.
