user-manual: give 'git push -f' as an alternative to +master