I read that post (The GM article) when you originally posted it. IMO, you can't just blatantly substitute "GM" for "WMI" b/c GM was an actual operating entity before, during, and after BK. WMI has nothing during bk (and just before filing BK) b/c the FDIC stripped it all away.
I know I'm in the minority here so take my opinion for what it's worth to you.