Update documentation about double-release bug

When performing a release, since we cross-compile, the first "push changes to repo" should be the only ones. The second time you get asked to tag and push to remote, you should choose to NOT do it since they versions are already updated. Furthermore, you should always make sure to specify the same release version, you will be asked twice (again, once per cross-compile version).