On Sun, Sep 28, 2014 at 6:06 AM, Pedro M. Jorge wrote: > It seems to me that the search box at https://www.debian.org is not using > SSL. Correct. We are aware of this and are in the process of resolving it. -- bye, pabs https://wiki.debian.org/PaulWise