drupal.org search term can't contain forward slash: "node/user" results redirect to inexistent page

drupal.org search term can't contain forward slash

try searching: "node/user" or "includes/database.mysql.inc on line 96"

http://drupal.org/search/node/node/user
http://drupal.org/search/node/includes/database.mysql.inc+on+line+96

the redirection should just encode the slash '/' ;)