Fix options.dtd generation bug.

common/content/tabs.js

@@ -42,7 +42,7 @@ var Tabs = Module("tabs", {
             for (let { linkedBrowser: { contentDocument } } in values(this.allTabs))
                 if (contentDocument.readyState === "complete")
                     dactyl.initDocument(contentDocument);
-        });
+        }, 1000);
     },
 
     _alternates: Class.memoize(function () [config.tabbrowser.mCurrentTab, null]),

common/modules/options.jsm

@@ -752,7 +752,7 @@ var Options = Module("options", {
             services["dactyl:"].pages["options.dtd"] = function () [null,
                 util.makeDTD(
                     iter(([["option", o.name, "default"].join("."),
-                           o.type === "string" ? o.value.replace(/'/g, "''") :
+                           o.type === "string" ? o.defaultValue.replace(/'/g, "''") :
                            o.value === true    ? "on"  :
                            o.value === false   ? "off" : o.stringDefaultValue]
                           for (o in self)),