typo fixes, style and clarity suggestions

Dependencies

• [2] NWLVY3EE Solving a conflict with a deleted file
• [3] QWENCR2I Script updates
• [4] GLUD3ZVF Generating the reference
• [5] 2AYYR6FK Delete auto-generated files, now that this is taken care of in the deployment scripts
• [6] SCSV2FNS Reboot

Change contents

• replacement in src/theory.md at line 3
  [3.1]→[3.1:345](∅→∅)
  − As a first approximation, repositories can be thought of as representing a single file by a directed graph $G = (V, E)$ of lines, where each vertex $v\in V$ represented a line, and an edge from $u \in V$ to $v\in V$, labelled by some change (also called patch) number $c$, could be read as "according to change $c$, line $u$ comes before $v$".
  [3.1]

  [3.345]
  + As a first approximation, one can think of a repository as a single file represented by a directed graph $G = (V, E)$ of lines of text, where each vertex $v\in V$ represents a line of text, and an edge from $u \in V$ to $v\in V$, labelled with a change (also called patch) number $c$, could be read as "according to change $c$, line $u$ comes before $v$".
• replacement in src/theory.md at line 5
  [3.346]→[3.346:487](∅→∅)
  − This means that changes could introduce vertices and lines, as in the following example, where a line $D$ is introduced between $A$ and $B$:
  [3.346]

  [3.487]
  + This means that changes may introduce both vertices and edges, as in the following example, where a line of text $D$ is introduced between $A$ and $B$:
• replacement in src/theory.md at line 11
  [3.589]→[3.589:1087](∅→∅)
  − Here, the thick line represents the change from the file containing the lines $A$, $B$, $C$ to the file with the new line $D$.

  − An important feature to note is that **vertices are uniquely identified**, by the hash of the change that introduced them, along with a position in that change. This means that two lines with the same content, introduced by different changes, will be different. It also means that a lines keeps its identity, even if the change is applied in a totally different context.
  [3.589]

  [3.1087]
  + Here, the thick arrow represents a change $c_0$ from a file containing the lines $A$, $B$, $C$, to a file which includes the line $D$. As mentioned above, the edges are labelled with the change that introduced them, in this case $c_0$.

  + An important feature to note is that **vertices are uniquely identified**, by the hash of the change that introduced them, along with a position in that change. This means that two lines of text with the same content, introduced by different changes, will be different. It also means that a line keeps its identity, even if the change is applied in a totally different context.
• replacement in src/theory.md at line 15
  [3.1089]→[3.1089:1423](∅→∅)
  − Moreover, this system is append-only, in the sense that *deletions* are handled by a more sophisticated labelling of the edges. In the example above, if we want to delete line $D$, we just need to make a change mapping the edge introduced by $c_0$ to a deleted edge, which we label by the name $c_1$ of the change that introduces it:
  [3.1089]

  [3.10069]
  + Moreover, this system is append-only, in the sense that *deletions* are handled by a more sophisticated labelling of the edges. In the example above, if we want to delete line $D$, we just need to make a change mapping the edge introduced by $c_0$ to a deleted edge, which is also labelled with the change in which it was introduced, this time $c_1$:
• replacement in src/theory.md at line 28
  [3.2063]→[3.2063:2123](∅→∅)
  − This scheme allows to defines dependencies between changes:
  [3.2063]

  [3.2123]
  + This scheme allows one to define dependencies between changes:
• replacement in src/theory.md at line 38
  [3.2647]→[3.2647:2899](∅→∅)
  − Our goals is to find the smallest possible system, both for reasons of mathematical aesthetics (why store useless stuff?) and the other one for performance. Therefore, one immediate question comes to mind: why even keep the change number on the edges?
  [3.2647]

  [3.2899]
  + Our goal is to find the smallest possible system, both for reasons of mathematical aesthetics (why store useless stuff?) and the other one for performance. Therefore, one immediate question comes to mind: why even keep the change number on the edges?
• replacement in src/theory.md at line 61
  [3.3920]→[3.3920:4255](∅→∅)
  − This situation, where Alice writes something in the middle of a paragraph $p$, while Bob deletes $p$ in parallel.

  − One issue here, is that the situation is not symmetric: when Bob applies Alice's change, he can tell immediately that something is wrong, because the context of Alice's edits is labelled as deleted in his repository.
  [3.3920]

  [3.4255]
  + In this scenario, Alice writes something in the middle of a paragraph $p$, while Bob deletes $p$ in parallel.

  + One issue here is that the situation is not symmetric: when Bob applies Alice's change, he can tell immediately that something is wrong, because the context of Alice's edits is labelled as deleted in his repository.
• file un-deletion: clone.md (-xw-x--x--)clone.md (-xw-x--x--)
  [3.49554]→[3.78331:78341](∅→∅),[3.78341]→[3.78342:78342](∅→∅),[3.49554]→[3.78331:78341](∅→∅)