- modified the SQL update to lowercase all user theme settings to let them

keep their settings.
- Change author fields in marvin and example theme. Dries is picky about his
  name ;)

themes/example/example.theme

@@ -5,7 +5,7 @@ class Theme_example extends BaseTheme {
 
   function system($field) {
     $system["name"] = "Stone Age";
-    $system["author"] = "Dries Buytaerts";
+    $system["author"] = "Dries";
     $system["description"] = "Internet explorer, Netscape, Opera, Lynx";
 
     return $system[$field];

themes/marvin/marvin.theme

@@ -20,7 +20,7 @@
 
    function system($field) {
      $system["name"] = "Marvin";
-     $system["author"] = "Dries Buytaerts";
+     $system["author"] = "Dries";
      $system["description"] = "Internet explorer, Netscape, Opera";
 
      return $system[$field];

update.php

@@ -352,6 +352,7 @@ function update_25() {
   update_sql("REPLACE system SET name = 'system', type = 'module', filename = 'system.module', status = '1';");
   update_sql("REPLACE system SET name = 'user', type = 'module', filename = 'user.module', status = '1';");
   update_sql("REPLACE system SET name = 'watchdog', type = 'module', filename = 'watchdog.module', status = '1';");
+  update_sql("UPDATE users SET theme = LOWER(theme);');
 }
 
 /*