docs: implemented feedback by chtinnes

Author: pmbittner

STATUS.md

@@ -2,7 +2,10 @@
 ## Overview
 The artifact for the paper _Classifying Edits to Variability in Source Code_ consists of four parts:
 
-1. **DiffDetective**: For our validation, we built DiffDetective, a java library and command-line tool to classify edits to variability in git histories of preprocessor-based software product lines. DiffDetective is the main artifact used to replicate the validation for our paper (see Section 5).
+1. **DiffDetective**: For our validation, we built DiffDetective, a java library and command-line tool to classify edits to variability in git histories of preprocessor-based software product lines. 
+  DiffDetective is the main artifact used to replicate the validation for our paper (see Section 5).
+  DiffDetective is self-contained in that it does not require or depend on in-depth knowledge on the theoretical foundation of our work.
+  Practitioners and researches are free to ignore the appendix as well as the haskell formalization and may use DiffDetective out-of-the-box.
 2. **Appendix**: The appendix of our paper is given in PDF format in the file [`appendix.pdf`][ddappendix].
 3. **Haskell Formalization**: We provide an extended formalization in the Haskell programming language as described in our appendix. Its implementation can be found in the Haskell project in the [`proofs`][ddproofs] directory.
 4. **Dataset Overview**: We provide an overview of the 44 inspected open-source software product lines with updated links to their repositories in the file [docs/datasets.md][dddatasets].
@@ -11,7 +14,8 @@ The artifact for the paper _Classifying Edits to Variability in Source Code_ con
 Our artifact has the following purposes:
 
 ### **Replicability**
-We provide replication instructions that allow to replicate the validation we performed in Section 5 of our paper. The replication is executed in a Docker container. To replicate our results, we also provide [forks of all 44 datasets][ddforks] in the very state we performed our validation on.
+We provide replication instructions that allow to replicate the validation we performed in Section 5 of our paper.
+The replication is executed in a Docker container. To replicate our results, we also provide [forks of all 44 datasets][ddforks] in the very state we performed our validation on.
 
 ### **Reusability**
 DiffDetective is designed as a library that offers reusable functionality.
@@ -24,8 +28,8 @@ parsing variation tree diffs from unix diffs, obtaining variation tree diffs for
 The [`proofs`][ddproofs] Haskell project provides an extended formal specification of our theory.
 Its main purpose is to document the theory and its extensions to serve as a reference for the proofs in our appendix.
 Yet, the project can also be used as a library to reason on variation trees and diffs in Haskell projects.
-  
 The library is accompanied by a small demo application that shows an example test case for our proof of completeness by creating a variation tree diff from two variation trees and re-projecting them.
+The `proofs` project is described in detail in our appendix.
 
 ## Claims
 We claim the _Artifacts Available_ badge as we made our artefacts publicly available on [Github][ddgithub] and [Zenodo][ddzenodo] with an [open-source license][ddlicense].
@@ -40,4 +44,4 @@ Furthermore, both DiffDetective and our Haskell formalization serve as reference
 [ddlicense]: https://github.com/VariantSync/DiffDetective/blob/main/LICENSE.LGPL3
 [dddatasets]: docs/datasets.md
 [ddforks]: docs/replication/datasets.md
-[dddocumentation]: https://variantsync.github.io/DiffDetective/docs/javadoc/
+[dddocumentation]: https://variantsync.github.io/DiffDetective/docs/javadoc/