diff -r 1a30c5a56256 -r 5790462343cb doc/book/en/annexes/index.rst
--- a/doc/book/en/annexes/index.rst	Wed May 05 18:48:31 2010 +0200
+++ b/doc/book/en/annexes/index.rst	Wed May 05 18:55:19 2010 +0200
@@ -19,11 +19,3 @@
    depends
    javascript-api
    docstrings-conventions
-
-(X)HTML tricks to apply
------------------------
-
-Some web browser (Firefox for example) are not happy with empty `<div>`
-(by empty we mean that there is no content in the tag, but there
-could be attributes), so we should always use `<div></div>` even if
-it is empty and not use `<div/>`.