Opera Mini gives users a choice of either socket or HTTP in its settings. Could someone please tell me what the difference is between these two options as well as which is the better option to use as both seem to work equally well. Thanks.