On 10/18/2014 01:21 PM, DNS wrote:
Once again please see the bug report on this topic, for which you would have seen that there was complied already a listing of available https mirrors.
As https support is not official at this time at best we have the referenced unofficial listing that users may use. I'll add your data to the listing where it did not overlap. I did like the formatting, but did not really see the point.