This option allows user to specify custom user-agent string instead of using the default one. This is here because some proxies may interrupt the connection because of having "gator" in the name.
Aquesta opció permet definir un agent d' usuari personalitzat en lloc d' usar el d' omissió. Això és aquí perquè alguns servidors intermediaris poden interrompre la connexió si hi ha "gator" en el nom.