This reverts commit 98645de3.
I revert this commits because it breaks some links in the documentation.
It will be better to have the files anyway and to include them back
to a TOC at the end.

Currently we will have to ignore the warnings saying that they are in no TOC.