The tentative session file for Flexdesk on X11