Issue #1137848 by Tor Arne Thune, mgifford, GaëlG, ericjenkins: /filter/tips...

Issue #1137848 by Tor Arne Thune, mgifford, GaëlG, ericjenkins: /filter/tips page is listed by search engines

robots.txt

@@ -42,7 +42,7 @@ Disallow: /web.config
 # Paths (clean URLs)
 Disallow: /admin/
 Disallow: /comment/reply/
-Disallow: /filter/tips/
+Disallow: /filter/tips
 Disallow: /node/add/
 Disallow: /search/
 Disallow: /user/register/
@@ -52,7 +52,7 @@ Disallow: /user/logout/
 # Paths (no clean URLs)
 Disallow: /index.php/admin/
 Disallow: /index.php/comment/reply/
-Disallow: /index.php/filter/tips/
+Disallow: /index.php/filter/tips
 Disallow: /index.php/node/add/
 Disallow: /index.php/search/
 Disallow: /index.php/user/password/