proposal: remove codename

I'm not sure figuring out a silly codename for each release is worth anyone's time.

Since the RC is out and the release imminent and there hasn't been a proposal for 2.0, I think we can just remove it.