The theme is in the repo, no in home dir....