diff -r 7a5de13173b1 -r e3d551eda5a6 integration/edition.html --- a/integration/edition.html Thu May 16 13:08:20 2013 +0200 +++ b/integration/edition.html Thu May 16 14:00:50 2013 +0200 @@ -441,6 +441,7 @@ +