user-manual.txt: add missing section label