yea that’s what i was wondering. i sent him a pm to get a bit more info (and i wanted to test the install of the theme he was trying) and he verified that he’s installed other components. i gave instructions to try it from the admin-customize interface to make sure he’s logged in. he hasn’t responded yet, but i meant to update this topic.
anyways i was able to test what he was trying to install and it definitely worked. so my guess is the same as yours.