diff --git a/doc/jsdoc/AbstractFunction.html b/docs/jsdoc/AbstractFunction.html
similarity index 100%
rename from doc/jsdoc/AbstractFunction.html
rename to docs/jsdoc/AbstractFunction.html
diff --git a/doc/jsdoc/Addition.html b/docs/jsdoc/Addition.html
similarity index 100%
rename from doc/jsdoc/Addition.html
rename to docs/jsdoc/Addition.html
diff --git a/doc/jsdoc/All.html b/docs/jsdoc/All.html
similarity index 100%
rename from doc/jsdoc/All.html
rename to docs/jsdoc/All.html
diff --git a/doc/jsdoc/AndNode.html b/docs/jsdoc/AndNode.html
similarity index 100%
rename from doc/jsdoc/AndNode.html
rename to docs/jsdoc/AndNode.html
diff --git a/doc/jsdoc/Argument.html b/docs/jsdoc/Argument.html
similarity index 100%
rename from doc/jsdoc/Argument.html
rename to docs/jsdoc/Argument.html
diff --git a/doc/jsdoc/ArgumentValue.html b/docs/jsdoc/ArgumentValue.html
similarity index 100%
rename from doc/jsdoc/ArgumentValue.html
rename to docs/jsdoc/ArgumentValue.html
diff --git a/doc/jsdoc/AtomicFunction.html b/docs/jsdoc/AtomicFunction.html
similarity index 100%
rename from doc/jsdoc/AtomicFunction.html
rename to docs/jsdoc/AtomicFunction.html
diff --git a/doc/jsdoc/AtomicFunctionReturnValue.html b/docs/jsdoc/AtomicFunctionReturnValue.html
similarity index 100%
rename from doc/jsdoc/AtomicFunctionReturnValue.html
rename to docs/jsdoc/AtomicFunctionReturnValue.html
diff --git a/doc/jsdoc/BooleanAnd.html b/docs/jsdoc/BooleanAnd.html
similarity index 100%
rename from doc/jsdoc/BooleanAnd.html
rename to docs/jsdoc/BooleanAnd.html
diff --git a/doc/jsdoc/BooleanConnective.html b/docs/jsdoc/BooleanConnective.html
similarity index 100%
rename from doc/jsdoc/BooleanConnective.html
rename to docs/jsdoc/BooleanConnective.html
diff --git a/doc/jsdoc/BooleanNot.html b/docs/jsdoc/BooleanNot.html
similarity index 100%
rename from doc/jsdoc/BooleanNot.html
rename to docs/jsdoc/BooleanNot.html
diff --git a/doc/jsdoc/BooleanOr.html b/docs/jsdoc/BooleanOr.html
similarity index 100%
rename from doc/jsdoc/BooleanOr.html
rename to docs/jsdoc/BooleanOr.html
diff --git a/doc/jsdoc/ComposedFunction.html b/docs/jsdoc/ComposedFunction.html
similarity index 100%
rename from doc/jsdoc/ComposedFunction.html
rename to docs/jsdoc/ComposedFunction.html
diff --git a/doc/jsdoc/ComposedFunctionValue.html b/docs/jsdoc/ComposedFunctionValue.html
similarity index 100%
rename from doc/jsdoc/ComposedFunctionValue.html
rename to docs/jsdoc/ComposedFunctionValue.html
diff --git a/doc/jsdoc/CompoundDesignator.html b/docs/jsdoc/CompoundDesignator.html
similarity index 100%
rename from doc/jsdoc/CompoundDesignator.html
rename to docs/jsdoc/CompoundDesignator.html
diff --git a/doc/jsdoc/ConstantDesignator.html b/docs/jsdoc/ConstantDesignator.html
similarity index 100%
rename from doc/jsdoc/ConstantDesignator.html
rename to docs/jsdoc/ConstantDesignator.html
diff --git a/doc/jsdoc/ConstantFunction.html b/docs/jsdoc/ConstantFunction.html
similarity index 100%
rename from doc/jsdoc/ConstantFunction.html
rename to docs/jsdoc/ConstantFunction.html
diff --git a/doc/jsdoc/ConstantValue.html b/docs/jsdoc/ConstantValue.html
similarity index 100%
rename from doc/jsdoc/ConstantValue.html
rename to docs/jsdoc/ConstantValue.html
diff --git a/doc/jsdoc/DesignatedObject.html b/docs/jsdoc/DesignatedObject.html
similarity index 100%
rename from doc/jsdoc/DesignatedObject.html
rename to docs/jsdoc/DesignatedObject.html
diff --git a/doc/jsdoc/Designator.html b/docs/jsdoc/Designator.html
similarity index 100%
rename from doc/jsdoc/Designator.html
rename to docs/jsdoc/Designator.html
diff --git a/doc/jsdoc/DimensionHeight.html b/docs/jsdoc/DimensionHeight.html
similarity index 100%
rename from doc/jsdoc/DimensionHeight.html
rename to docs/jsdoc/DimensionHeight.html
diff --git a/doc/jsdoc/DimensionWidth.html b/docs/jsdoc/DimensionWidth.html
similarity index 100%
rename from doc/jsdoc/DimensionWidth.html
rename to docs/jsdoc/DimensionWidth.html
diff --git a/doc/jsdoc/ElementAttribute.html b/docs/jsdoc/ElementAttribute.html
similarity index 100%
rename from doc/jsdoc/ElementAttribute.html
rename to docs/jsdoc/ElementAttribute.html
diff --git a/doc/jsdoc/ElementAttributeValue.html b/docs/jsdoc/ElementAttributeValue.html
similarity index 100%
rename from doc/jsdoc/ElementAttributeValue.html
rename to docs/jsdoc/ElementAttributeValue.html
diff --git a/doc/jsdoc/ExistentialQuantifier.html b/docs/jsdoc/ExistentialQuantifier.html
similarity index 100%
rename from doc/jsdoc/ExistentialQuantifier.html
rename to docs/jsdoc/ExistentialQuantifier.html
diff --git a/doc/jsdoc/Explainer.html b/docs/jsdoc/Explainer.html
similarity index 100%
rename from doc/jsdoc/Explainer.html
rename to docs/jsdoc/Explainer.html
diff --git a/doc/jsdoc/FindBySelector.html b/docs/jsdoc/FindBySelector.html
similarity index 100%
rename from doc/jsdoc/FindBySelector.html
rename to docs/jsdoc/FindBySelector.html
diff --git a/doc/jsdoc/FunctionNamedArgument.html b/docs/jsdoc/FunctionNamedArgument.html
similarity index 100%
rename from doc/jsdoc/FunctionNamedArgument.html
rename to docs/jsdoc/FunctionNamedArgument.html
diff --git a/doc/jsdoc/GreaterOrEqual.html b/docs/jsdoc/GreaterOrEqual.html
similarity index 100%
rename from doc/jsdoc/GreaterOrEqual.html
rename to docs/jsdoc/GreaterOrEqual.html
diff --git a/doc/jsdoc/GreaterThan.html b/docs/jsdoc/GreaterThan.html
similarity index 100%
rename from doc/jsdoc/GreaterThan.html
rename to docs/jsdoc/GreaterThan.html
diff --git a/doc/jsdoc/Identity.html b/docs/jsdoc/Identity.html
similarity index 100%
rename from doc/jsdoc/Identity.html
rename to docs/jsdoc/Identity.html
diff --git a/doc/jsdoc/InputArgument.html b/docs/jsdoc/InputArgument.html
similarity index 100%
rename from doc/jsdoc/InputArgument.html
rename to docs/jsdoc/InputArgument.html
diff --git a/doc/jsdoc/IsEqualTo.html b/docs/jsdoc/IsEqualTo.html
similarity index 100%
rename from doc/jsdoc/IsEqualTo.html
rename to docs/jsdoc/IsEqualTo.html
diff --git a/doc/jsdoc/NamedArgument.html b/docs/jsdoc/NamedArgument.html
similarity index 100%
rename from doc/jsdoc/NamedArgument.html
rename to docs/jsdoc/NamedArgument.html
diff --git a/doc/jsdoc/NaryConjunctiveVerdict.html b/docs/jsdoc/NaryConjunctiveVerdict.html
similarity index 100%
rename from doc/jsdoc/NaryConjunctiveVerdict.html
rename to docs/jsdoc/NaryConjunctiveVerdict.html
diff --git a/doc/jsdoc/NaryDisjunctiveVerdict.html b/docs/jsdoc/NaryDisjunctiveVerdict.html
similarity index 100%
rename from doc/jsdoc/NaryDisjunctiveVerdict.html
rename to docs/jsdoc/NaryDisjunctiveVerdict.html
diff --git a/doc/jsdoc/NaryValue.html b/docs/jsdoc/NaryValue.html
similarity index 100%
rename from doc/jsdoc/NaryValue.html
rename to docs/jsdoc/NaryValue.html
diff --git a/doc/jsdoc/Nothing.html b/docs/jsdoc/Nothing.html
similarity index 100%
rename from doc/jsdoc/Nothing.html
rename to docs/jsdoc/Nothing.html
diff --git a/doc/jsdoc/ObjectNode.html b/docs/jsdoc/ObjectNode.html
similarity index 100%
rename from doc/jsdoc/ObjectNode.html
rename to docs/jsdoc/ObjectNode.html
diff --git a/doc/jsdoc/OrNode.html b/docs/jsdoc/OrNode.html
similarity index 100%
rename from doc/jsdoc/OrNode.html
rename to docs/jsdoc/OrNode.html
diff --git a/doc/jsdoc/Path.html b/docs/jsdoc/Path.html
similarity index 100%
rename from doc/jsdoc/Path.html
rename to docs/jsdoc/Path.html
diff --git a/doc/jsdoc/Quantifier.html b/docs/jsdoc/Quantifier.html
similarity index 100%
rename from doc/jsdoc/Quantifier.html
rename to docs/jsdoc/Quantifier.html
diff --git a/doc/jsdoc/QuantifierConjunctiveVerdict.html b/docs/jsdoc/QuantifierConjunctiveVerdict.html
similarity index 100%
rename from doc/jsdoc/QuantifierConjunctiveVerdict.html
rename to docs/jsdoc/QuantifierConjunctiveVerdict.html
diff --git a/doc/jsdoc/QuantifierDisjunctiveVerdict.html b/docs/jsdoc/QuantifierDisjunctiveVerdict.html
similarity index 100%
rename from doc/jsdoc/QuantifierDisjunctiveVerdict.html
rename to docs/jsdoc/QuantifierDisjunctiveVerdict.html
diff --git a/doc/jsdoc/QuantifierVerdict.html b/docs/jsdoc/QuantifierVerdict.html
similarity index 100%
rename from doc/jsdoc/QuantifierVerdict.html
rename to docs/jsdoc/QuantifierVerdict.html
diff --git a/doc/jsdoc/ReturnValue.html b/docs/jsdoc/ReturnValue.html
similarity index 100%
rename from doc/jsdoc/ReturnValue.html
rename to docs/jsdoc/ReturnValue.html
diff --git a/doc/jsdoc/TraceabilityNode.html b/docs/jsdoc/TraceabilityNode.html
similarity index 100%
rename from doc/jsdoc/TraceabilityNode.html
rename to docs/jsdoc/TraceabilityNode.html
diff --git a/doc/jsdoc/Tracer.html b/docs/jsdoc/Tracer.html
similarity index 100%
rename from doc/jsdoc/Tracer.html
rename to docs/jsdoc/Tracer.html
diff --git a/doc/jsdoc/UniversalQuantifier.html b/docs/jsdoc/UniversalQuantifier.html
similarity index 100%
rename from doc/jsdoc/UniversalQuantifier.html
rename to docs/jsdoc/UniversalQuantifier.html
diff --git a/doc/jsdoc/Unknown.html b/docs/jsdoc/Unknown.html
similarity index 100%
rename from doc/jsdoc/Unknown.html
rename to docs/jsdoc/Unknown.html
diff --git a/doc/jsdoc/UnknownNode.html b/docs/jsdoc/UnknownNode.html
similarity index 100%
rename from doc/jsdoc/UnknownNode.html
rename to docs/jsdoc/UnknownNode.html
diff --git a/doc/jsdoc/Value.html b/docs/jsdoc/Value.html
similarity index 100%
rename from doc/jsdoc/Value.html
rename to docs/jsdoc/Value.html
diff --git a/doc/jsdoc/Verdict.html b/docs/jsdoc/Verdict.html
similarity index 100%
rename from doc/jsdoc/Verdict.html
rename to docs/jsdoc/Verdict.html
diff --git a/doc/jsdoc/fonts/OpenSans-Bold-webfont.eot b/docs/jsdoc/fonts/OpenSans-Bold-webfont.eot
similarity index 100%
rename from doc/jsdoc/fonts/OpenSans-Bold-webfont.eot
rename to docs/jsdoc/fonts/OpenSans-Bold-webfont.eot
diff --git a/doc/jsdoc/fonts/OpenSans-Bold-webfont.svg b/docs/jsdoc/fonts/OpenSans-Bold-webfont.svg
similarity index 100%
rename from doc/jsdoc/fonts/OpenSans-Bold-webfont.svg
rename to docs/jsdoc/fonts/OpenSans-Bold-webfont.svg
diff --git a/doc/jsdoc/fonts/OpenSans-Bold-webfont.woff b/docs/jsdoc/fonts/OpenSans-Bold-webfont.woff
similarity index 100%
rename from doc/jsdoc/fonts/OpenSans-Bold-webfont.woff
rename to docs/jsdoc/fonts/OpenSans-Bold-webfont.woff
diff --git a/doc/jsdoc/fonts/OpenSans-BoldItalic-webfont.eot b/docs/jsdoc/fonts/OpenSans-BoldItalic-webfont.eot
similarity index 100%
rename from doc/jsdoc/fonts/OpenSans-BoldItalic-webfont.eot
rename to docs/jsdoc/fonts/OpenSans-BoldItalic-webfont.eot
diff --git a/doc/jsdoc/fonts/OpenSans-BoldItalic-webfont.svg b/docs/jsdoc/fonts/OpenSans-BoldItalic-webfont.svg
similarity index 100%
rename from doc/jsdoc/fonts/OpenSans-BoldItalic-webfont.svg
rename to docs/jsdoc/fonts/OpenSans-BoldItalic-webfont.svg
diff --git a/doc/jsdoc/fonts/OpenSans-BoldItalic-webfont.woff b/docs/jsdoc/fonts/OpenSans-BoldItalic-webfont.woff
similarity index 100%
rename from doc/jsdoc/fonts/OpenSans-BoldItalic-webfont.woff
rename to docs/jsdoc/fonts/OpenSans-BoldItalic-webfont.woff
diff --git a/doc/jsdoc/fonts/OpenSans-Italic-webfont.eot b/docs/jsdoc/fonts/OpenSans-Italic-webfont.eot
similarity index 100%
rename from doc/jsdoc/fonts/OpenSans-Italic-webfont.eot
rename to docs/jsdoc/fonts/OpenSans-Italic-webfont.eot
diff --git a/doc/jsdoc/fonts/OpenSans-Italic-webfont.svg b/docs/jsdoc/fonts/OpenSans-Italic-webfont.svg
similarity index 100%
rename from doc/jsdoc/fonts/OpenSans-Italic-webfont.svg
rename to docs/jsdoc/fonts/OpenSans-Italic-webfont.svg
diff --git a/doc/jsdoc/fonts/OpenSans-Italic-webfont.woff b/docs/jsdoc/fonts/OpenSans-Italic-webfont.woff
similarity index 100%
rename from doc/jsdoc/fonts/OpenSans-Italic-webfont.woff
rename to docs/jsdoc/fonts/OpenSans-Italic-webfont.woff
diff --git a/doc/jsdoc/fonts/OpenSans-Light-webfont.eot b/docs/jsdoc/fonts/OpenSans-Light-webfont.eot
similarity index 100%
rename from doc/jsdoc/fonts/OpenSans-Light-webfont.eot
rename to docs/jsdoc/fonts/OpenSans-Light-webfont.eot
diff --git a/doc/jsdoc/fonts/OpenSans-Light-webfont.svg b/docs/jsdoc/fonts/OpenSans-Light-webfont.svg
similarity index 100%
rename from doc/jsdoc/fonts/OpenSans-Light-webfont.svg
rename to docs/jsdoc/fonts/OpenSans-Light-webfont.svg
diff --git a/doc/jsdoc/fonts/OpenSans-Light-webfont.woff b/docs/jsdoc/fonts/OpenSans-Light-webfont.woff
similarity index 100%
rename from doc/jsdoc/fonts/OpenSans-Light-webfont.woff
rename to docs/jsdoc/fonts/OpenSans-Light-webfont.woff
diff --git a/doc/jsdoc/fonts/OpenSans-LightItalic-webfont.eot b/docs/jsdoc/fonts/OpenSans-LightItalic-webfont.eot
similarity index 100%
rename from doc/jsdoc/fonts/OpenSans-LightItalic-webfont.eot
rename to docs/jsdoc/fonts/OpenSans-LightItalic-webfont.eot
diff --git a/doc/jsdoc/fonts/OpenSans-LightItalic-webfont.svg b/docs/jsdoc/fonts/OpenSans-LightItalic-webfont.svg
similarity index 100%
rename from doc/jsdoc/fonts/OpenSans-LightItalic-webfont.svg
rename to docs/jsdoc/fonts/OpenSans-LightItalic-webfont.svg
diff --git a/doc/jsdoc/fonts/OpenSans-LightItalic-webfont.woff b/docs/jsdoc/fonts/OpenSans-LightItalic-webfont.woff
similarity index 100%
rename from doc/jsdoc/fonts/OpenSans-LightItalic-webfont.woff
rename to docs/jsdoc/fonts/OpenSans-LightItalic-webfont.woff
diff --git a/doc/jsdoc/fonts/OpenSans-Regular-webfont.eot b/docs/jsdoc/fonts/OpenSans-Regular-webfont.eot
similarity index 100%
rename from doc/jsdoc/fonts/OpenSans-Regular-webfont.eot
rename to docs/jsdoc/fonts/OpenSans-Regular-webfont.eot
diff --git a/doc/jsdoc/fonts/OpenSans-Regular-webfont.svg b/docs/jsdoc/fonts/OpenSans-Regular-webfont.svg
similarity index 100%
rename from doc/jsdoc/fonts/OpenSans-Regular-webfont.svg
rename to docs/jsdoc/fonts/OpenSans-Regular-webfont.svg
diff --git a/doc/jsdoc/fonts/OpenSans-Regular-webfont.woff b/docs/jsdoc/fonts/OpenSans-Regular-webfont.woff
similarity index 100%
rename from doc/jsdoc/fonts/OpenSans-Regular-webfont.woff
rename to docs/jsdoc/fonts/OpenSans-Regular-webfont.woff
diff --git a/doc/jsdoc/global.html b/docs/jsdoc/global.html
similarity index 100%
rename from doc/jsdoc/global.html
rename to docs/jsdoc/global.html
diff --git a/doc/jsdoc/index.html b/docs/jsdoc/index.html
similarity index 100%
rename from doc/jsdoc/index.html
rename to docs/jsdoc/index.html
diff --git a/doc/jsdoc/index.mjs.html b/docs/jsdoc/index.mjs.html
similarity index 100%
rename from doc/jsdoc/index.mjs.html
rename to docs/jsdoc/index.mjs.html
diff --git a/doc/jsdoc/modules_atomic-function.mjs.html b/docs/jsdoc/modules_atomic-function.mjs.html
similarity index 100%
rename from doc/jsdoc/modules_atomic-function.mjs.html
rename to docs/jsdoc/modules_atomic-function.mjs.html
diff --git a/doc/jsdoc/modules_booleans.mjs.html b/docs/jsdoc/modules_booleans.mjs.html
similarity index 100%
rename from doc/jsdoc/modules_booleans.mjs.html
rename to docs/jsdoc/modules_booleans.mjs.html
diff --git a/doc/jsdoc/modules_composed-function.mjs.html b/docs/jsdoc/modules_composed-function.mjs.html
similarity index 100%
rename from doc/jsdoc/modules_composed-function.mjs.html
rename to docs/jsdoc/modules_composed-function.mjs.html
diff --git a/doc/jsdoc/modules_designator.mjs.html b/docs/jsdoc/modules_designator.mjs.html
similarity index 100%
rename from doc/jsdoc/modules_designator.mjs.html
rename to docs/jsdoc/modules_designator.mjs.html
diff --git a/doc/jsdoc/modules_function.mjs.html b/docs/jsdoc/modules_function.mjs.html
similarity index 100%
rename from doc/jsdoc/modules_function.mjs.html
rename to docs/jsdoc/modules_function.mjs.html
diff --git a/doc/jsdoc/modules_numbers.mjs.html b/docs/jsdoc/modules_numbers.mjs.html
similarity index 100%
rename from doc/jsdoc/modules_numbers.mjs.html
rename to docs/jsdoc/modules_numbers.mjs.html
diff --git a/doc/jsdoc/modules_quantifier.mjs.html b/docs/jsdoc/modules_quantifier.mjs.html
similarity index 100%
rename from doc/jsdoc/modules_quantifier.mjs.html
rename to docs/jsdoc/modules_quantifier.mjs.html
diff --git a/doc/jsdoc/modules_tracer.mjs.html b/docs/jsdoc/modules_tracer.mjs.html
similarity index 100%
rename from doc/jsdoc/modules_tracer.mjs.html
rename to docs/jsdoc/modules_tracer.mjs.html
diff --git a/doc/jsdoc/modules_util.mjs.html b/docs/jsdoc/modules_util.mjs.html
similarity index 100%
rename from doc/jsdoc/modules_util.mjs.html
rename to docs/jsdoc/modules_util.mjs.html
diff --git a/doc/jsdoc/modules_value.mjs.html b/docs/jsdoc/modules_value.mjs.html
similarity index 100%
rename from doc/jsdoc/modules_value.mjs.html
rename to docs/jsdoc/modules_value.mjs.html
diff --git a/doc/jsdoc/modules_verdict.mjs.html b/docs/jsdoc/modules_verdict.mjs.html
similarity index 100%
rename from doc/jsdoc/modules_verdict.mjs.html
rename to docs/jsdoc/modules_verdict.mjs.html
diff --git a/doc/jsdoc/modules_web-element.mjs.html b/docs/jsdoc/modules_web-element.mjs.html
similarity index 100%
rename from doc/jsdoc/modules_web-element.mjs.html
rename to docs/jsdoc/modules_web-element.mjs.html
diff --git a/doc/jsdoc/scripts/linenumber.js b/docs/jsdoc/scripts/linenumber.js
similarity index 100%
rename from doc/jsdoc/scripts/linenumber.js
rename to docs/jsdoc/scripts/linenumber.js
diff --git a/doc/jsdoc/scripts/prettify/Apache-License-2.0.txt b/docs/jsdoc/scripts/prettify/Apache-License-2.0.txt
similarity index 100%
rename from doc/jsdoc/scripts/prettify/Apache-License-2.0.txt
rename to docs/jsdoc/scripts/prettify/Apache-License-2.0.txt
diff --git a/doc/jsdoc/scripts/prettify/lang-css.js b/docs/jsdoc/scripts/prettify/lang-css.js
similarity index 100%
rename from doc/jsdoc/scripts/prettify/lang-css.js
rename to docs/jsdoc/scripts/prettify/lang-css.js
diff --git a/doc/jsdoc/scripts/prettify/prettify.js b/docs/jsdoc/scripts/prettify/prettify.js
similarity index 100%
rename from doc/jsdoc/scripts/prettify/prettify.js
rename to docs/jsdoc/scripts/prettify/prettify.js
diff --git a/doc/jsdoc/styles/jsdoc-default.css b/docs/jsdoc/styles/jsdoc-default.css
similarity index 100%
rename from doc/jsdoc/styles/jsdoc-default.css
rename to docs/jsdoc/styles/jsdoc-default.css
diff --git a/doc/jsdoc/styles/prettify-jsdoc.css b/docs/jsdoc/styles/prettify-jsdoc.css
similarity index 100%
rename from doc/jsdoc/styles/prettify-jsdoc.css
rename to docs/jsdoc/styles/prettify-jsdoc.css
diff --git a/doc/jsdoc/styles/prettify-tomorrow.css b/docs/jsdoc/styles/prettify-tomorrow.css
similarity index 100%
rename from doc/jsdoc/styles/prettify-tomorrow.css
rename to docs/jsdoc/styles/prettify-tomorrow.css
diff --git a/jsdoc.conf.json b/jsdoc.conf.json
index 05d3114..887012c 100644
--- a/jsdoc.conf.json
+++ b/jsdoc.conf.json
@@ -17,7 +17,7 @@
     "sourceType": "module",
     "opts" : {
         "encoding": "utf8",
-        "destination": "./doc/jsdoc",
+        "destination": "./docs/jsdoc",
         "class-hierarchy": { "showList": true }
     },
     "plugins": [