Comment 10 for bug 2036098

Yes, and I believe it's been set that way for a while and I haven't seen issues from it.

https://salsa.debian.org/gnome-team/gnome-session/-/blob/ubuntu/latest/debian/patches/ubuntu/ubuntu-sessions.patch#L162

But you're right about the desktops you mentioned and even GNOME Classic is using the semicolons:

https://salsa.debian.org/gnome-team/gnome-shell-extensions/-/blob/debian/latest/data/gnome-classic.desktop.in