Symptom: no lock screen under Gnome/Wayland. The rest of Gnome is functional.
Analysis: journalctl -b shows following lines:
journalctl -b
gsd-media-keys[3703]: \Couldn't lock screen…