diff -r c72a9f9cb519 -r 16b482c153fd integration/edition.html --- a/integration/edition.html Thu May 16 17:43:27 2013 +0200 +++ b/integration/edition.html Thu May 16 18:03:54 2013 +0200 @@ -447,6 +447,7 @@