My bad. I should change that script to move only the folders of theme. But anyway, your is the first first known case of the problem in 1.5 years. If you extracted the content of the archive in separate folder, everything was okay.
- May 10 2020
This is useful:
Frankly, I don't know much about gnome shell and css.
- Nov 03 2018