There's a confusion between themes and export templates. Both reside in the same folder.
Themes can be used by clicking menu View -> Preferences -> Theme tab.
HTML export templates can be used by Tools -> Export to HTML.
What you downloaded is probably export templates, so they don't show up in Theme drop-down.