Commit 2582ab accidentally pointed out that the current theme loading code obfuscates which directories are searched for themes. Rewrite it with modern JS features to make it more obvious. https://gitlab.gnome.org/GNOME/gnome-shell-extensions/merge_requests/60