The source project of this merge request has been removed.
Remove defunct Lock Screen options
Since GNOME 3.36.0 the Lock Screen background is a blurred image of the desktop background. Not a separate selectable image. See gnome-shell!1001 (merged). Thus the Lock Screen options can be removed from the Appearance tab.
Resolves #416 (closed).