init version of onhotkey
migrated onhotkey to xbindkeys
Added docs for onhotkey; minor layout change