[9fans] Has DMR retired?

[Douglas A. Gwyn]

Somebody edited the Wikipedia article "Dennis Ritchie" to insert
a rumor that he retired from Bell Labs/Lucent (or whatever the
company name is) this month.  I reverted the edit until we can
obtain some reliable confirmation.  Does anybody here know?
Thanks!