GIT-UPDATE-SERVER-INFO(1) - manual page | User commands

Update auxiliary info file to help dumb servers.