I was playing around with themes including installing elegance-colors. I now realize that the Numix Frost and Numix Frost Light gnome-shell themes are not longer available in Tweak-Tool, only elegance-colors. The gtk, window and icon themes are still there, but I am not able to get the gnome-shell themes back. I tried to reinstall the numix-frost-theme package, but when looking at the files the do not contain gnome-shell themes. How do I get back the Numix-Frost and Numix-Frost-Light gnome-shell themes?