[Doc/Eva] standardize acknowledgments

doc/value/main.tex

@@ -5387,20 +5387,22 @@ about on line 8, but line 9 needs further investigation).
 \section*{Acknowledgments}
 
 Dillon Pariente has provided helpful suggestions on this document
-since it was an early draft. I am especially thankful to him for
+since it was an early draft. We are especially thankful to him for
 finding the courage to read it version after version.
 Patrick Baudin, Richard Bonichon, 
 Jochen Burghardt,
 G\'eraud Canet, Lo\"\i c Correnson,
 David Delmas, Florent Kirchner, David Mentr\'e, Benjamin Monate, Anne Pacalet, 
 Julien Signoles provided useful comments in the process of
-getting the text to where it is today. Speaking of the text,
-I find awful, awkward constructs in it each time a
-new Frama-C release warrants a new pass on it. On the plus
-side, I am usually happy with it for a few days after each release,
-until I notice another blunder was left in.
-Do not hesitate to report documentation bugs
-at \url{http://bts.frama-c.com/main_page.php}.
+getting the text to where it is today.
+
+%Speaking of the text,
+%I find awful, awkward constructs in it each time a
+%new Frama-C release warrants a new pass on it. On the plus
+%side, I am usually happy with it for a few days after each release,
+%until I notice another blunder was left in.
+%Do not hesitate to report documentation bugs
+%at \url{http://bts.frama-c.com/main_page.php}.
 
 %Illustrations were provided under the Creative Commons
 %Attribution-Noncommercial-Share Alike license by members of the flickr