✏️ Editing: gnome-manager.so