A user is saying that he can't see the "Site Intro" in the Themes menu, even though "Site intro" is enabled.

I have yet not asked if he can see the theme options.

Anybody else had this problem? I'll try it out on a test account but I believe the guy...