That is what is currently happening, but it’s set to end October 31st. The EO would extend it an additional two months, until the end of December. The Dem proposal included extending the relief for an additional year, I believe. I don’t think the Republican proposal included any immediate relief like the current relief (it was more about changing repayment options).