git update-server-info

Update auxiliary info file to help dumb servers.