user-manual: clarify difference between tag and branch