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.
Esta opción permite que o usuario especifique unha cadea personalizada co axente de usuario no canto de empregar o predefinido. Isto aparece aquí porque algúns proxies poden interromper a conexión se « gator » aparecer no nome.