Fixed orphan on page 2.

paper/1-intro.tex

@@ -113,8 +113,10 @@ As those are all symmetric primitives without the rich mathematical
 structure of finite field and elliptic curves the actual proofs are quite different.
 
 \subheading{Reproducing the proofs.}
-To maximize reusability of our results we placed the code of our formal proof
-presented in this paper into the public domain.
+%To maximize reusability of our results 
+We place the code of our formal proof
+%presented in this paper 
+into the public domain.
 It is available at \url{https://cdn-15.anonfile.com/B9x43aZ6n4/6aa03e98-1581782249/coq-verif-tweetnacl.tar.gz}
 with instructions of how to compile and verify our proof.
 A description of the content of the code archive is provided in