js: fix incremental search
utils js: fiddle with scrolling to new results
Bug.psd: move from tab- to space-based indent

only many months later...
js: delete index from antecedent when deleting its only trace

fixes #26
py: reformat trees on exit, not every save

util.py: change calling convention of writeTreesToFile

annotald-aux: add external reindent command
HACKING: add file with notes for maintainer
document the reindent and cat-settings-* commands
news for release 1.1.3
Release 1.1.3
bump version to 1.1.4-dev1