restore name of dbus service
Are you sure? DBUS services have been renamed from gnome.Shell to Cinnamon in other files.
I'm sure. This string hardcoded in gnome-session.
I have tested the above patch and it does fix the logout theme issue but suspend and hibernate options are now missing.
@leigh123linux lack of suspend&hibernate is another issue
Is that issue a left over from the gnome-shell code?