Notebook search extension
Merge pull request #61 from juhasch/search-extension

Notebook search extension
Register with keyboard manager
Merge pull request #62 from juhasch/search-extension

Register with keyboard manager
updated custom.example.js includes all extensions in the repo
Merge pull request #63 from davidovitch/master

updated custom.example.js includes all extensions in the repo
Merge hierarchical_collapse
New extension hide_input
Merge pull request #65 from juhasch/hide-input

New extension hide_input
Remove unused files
Merge pull request #66 from juhasch/remove_old_stuff

Remove unused files
Merge remote-tracking branch 'upstream/master'