So what exaxtly are you trying to say except of teasing us here? You people with the DevMenu should stop doing this.
What from his post made you think he was teasing? All I saw was speculation regarding the file type of the theme files that made sense. He never said anything about having DevMenu.