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