After you file

That way the law now works, they are out of luck and not eligible for the $10,200 exclusion.  Hopefully that will be addressed before 2021 taxes are filed.