user-manual.txt: change header notation