I believe I just answered my question by digging further on the IRS website. On August 18, IRS sent refund interest payments separately from any refund already paid or still due the taxpayer: https://www.irs.gov/newsroom/13-point-9-million-americans-to-receive-irs-tax-refund-interest-taxable....
