Merge branch 'default' into claire
Introduction + begin of extensions.
Extensions + add of base for Further Improvements.
Some corrections on Extensions.
Merge branch 'default' into claire
Small reordering of sections.
Merge branch 'claire' into default