Improved document browser and search engine for Pure Data internal/external documentation.
This is a refactored version of this GUI plugin:
with the following mods:
* same key bindings as other dialogs
* withdrawing the window with <ctrl-w> or ESC will stop the current search in case it isn't finished
* clearer home page