... neither through the gnome-shell menu nor via the keyboard shortcut (Ctrl+Alt+L). I've checked for display settings and screen lock seems to be enabled (it's ON). Any idea? Thank you very much!! Best, -- Marco