Personal copy of Notion repository for tweaks/fixes. See http://notion.sourceforge.net/