What is Stephen Colbert's Reddit name? Let's try to figure it out.

Colbert is obviously a redditor, so I think we should try to figure out his Reddit name. I'm too new to make any suggestions, but nominate people and discuss below...