https://cubicgarden.com/2007/09/25/what-do-you-do-when-gnome-display-manager-dies-fixed-2/