Copy of the Notion window manager repository (http://notion.sourceforge.net/)