[wp-docs] Should change_post_object_label() be in Codex?

[Manuel Schmalstieg]

People who are using WordPress "as a CMS" have frequently the need to
change the labels of "Posts" into something else.

There are some functions for that, change_post_object_label() and
change_post_menu_label().

They work fine, and are described at different corners of the web:

- http://wordpress.stackexchange.com/questions/9211/changing-admin-menu-labels
- http://wordpress.org/support/topic/change-labels-in-admin-section
- http://wordpress.org/support/topic/modifying-post-name-article-into-something-else

Is there any reason why this information isn't in the Codex?

--
Manuel