Session support tools for the GNOME GUI desktop environment