search box at debian.org

["Pedro M. Jorge" <pmjorge@lip.pt>]

Hi,

It seems to me that the search box at https://www.debian.org is not 
using SSL.
Inspecting the code it reads:

<div id="searchbox">
   <form name="p" method="get" 
action="http://search.debian.org/cgi-bin/omega";>
      <p>
      <input name="DB" value="en" type="hidden">
      <input name="P" value="" size="27">
      <input value="Search" type="submit">
      </p>
   </form>
</div>

Cheers,
Pedro.