--- formatting.php      2009-09-15 15:51:20.000000000 -0700
+++ formatting-patch.php        2009-09-15 15:51:05.000000000 -0700
@@ -697,6 +697,9 @@

        $title = strtolower($title);
        $title = preg_replace('/&.+?;/', '', $title); // kill entities
+       $title = preg_replace('/&c/','-etc-',$title);
+       $title = preg_replace('/&/','-and-',$title);
+       $title = preg_replace('/[\/\\\]/','-',$title);
        $title = str_replace('.', '-', $title);
        $title = preg_replace('/[^%a-z0-9 _-]/', '', $title);
        $title = preg_replace('/\s+/', '-', $title);