a9e6e44ef8
The tool was added in 2018 to migrate to per-desktop overrides from the old overrides system. 5 years later, everyone who’s going to migrate probably has migrated, so we can delete the script and remove a process running on every login. Signed-off-by: Philip Withnall <pwithnall@endlessos.org> Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2611>