Remove obsolete bug warning in man git-update-server-info