Ken Thompson has contributed an amazing amount. Just because it's not yet visible on Github doesn't mean the world doesn't want to pay attention to whatever he might do there - or that it is not entirely deserved.