As you all (probably) know, Dennis Ritchie has passed away. In my opinion, we should somehow make tribute to him. I'm not sure the idea to name a release after him would be fitting, but that's the only thing I've came up with. -- Ivan