Moved the specification to spec.odt