Of course, I was speaking about official themes, supporting this plugin.
I understand your double checking, but as far I can see, there is no info about it. According to me, a warning like "you may have to enable the menu in theme options" in menu tab would be more clear and less confusing.