user-manual.txt: explain better the remote(-tracking) branch terms