Discover WebExtension Properties, a powerful set of customizable features for enhancing your web extensions. Unlock unique functionality today!...extension to a document. Document doc = new Document (); // Create...which will be used by the document, // then set its default location...