Wait... I take it back. The PRs were filed between 7 and 8 a.m. The halts were lifted before 8 a.m., with a note that news had been filed with StockWatch. But the actual PRs appeared at 10:40.