user-manual.txt: prefer 'merge --abort' over 'reset --hard'