I hope changing codex to more formal version, doesn't end up like documentaction for other CMSes such as joomla and drupal. If users have to navigate between different versions of documentation, it would be a nightmare. It may be easier to maintain documentation for each version from admin point of view, but I like something which make sense when we don't have to juggle around to find what we want.