developer-manual: Add the -s flag to the suggested 'git tag' command