Well, they're not trading today. The filings said enough, IMO. I can't find the new stock symbol, though.