SmartGitHg: update from 6.0.6 to 6.5.3.