- switch file lists to be generated by a script

- Update to version 20221115:
+ Fixed gnome-shell 43 issues.
- Drop allow-setting-gnome-shell-version.patch: fixed upstream.