ff2a736193
We ended up always showing the switch-user button on the lock screen, as showing and hiding it with the prompt was too visually distracting. But now that we have a fancy transition in place, we can easily extend it to the switch-user button as well. https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/1029