General documentation : this file contains documentation used to introduce the source documentation.
It also serves for the web site.