* somewhat bigger documentation update; introduce UPGRADING document
* fixed escape sequence problem in manual.txt
* fixed bug #3490
* somewhat bigger documentation update; introduce UPGRADING document
* fixed escape sequence problem in manual.txt
* fixed bug #3490