The issue is that they sold a large home and bought a small home and had very little money left over. It doesn’t make financial political sense to do that. They might as well stay where they are. There is little incentive to downsize.
Part of the solution to the housing crisis is solving that incentive problem.