no he shouldn't add the "how to get to development options" to the menu. what have people been living under a rock? probably not since they've all been interested in 4.2. one of the first features noticed was the need to go to build number to activate developer settings, its not that difficult to find, just freakin google it.
XDA Developers was founded by developers, for developers. It is now a valuable resource for people who want to make the most of their mobile devices, from customizing the look and feel to adding new functionality. Are you a developer?