16Mar09 version files changed by 3Jun09 upgrade:

doc/Manual.html
doc/Manual.pdf
doc/Manual.txt
src/dump.py