It's been reported in both the Minneapolis Star Tribune and CNN (under Tech, oddly).

Like him or hate him, he had a huge impact on the gaming industry. I myself have him to indirectly thank for all the happy hours I've spent playing D&D with my friends. Good times, good times.

RIP, Gary. May you find peace & happiness in whichever afterlife you're now in.