[nailer]

Opera Mini is a great product, but they could (and should) make it perform direct connections when in https mode.