General changes

No changes.

To be provided

Up-to-date user's and developer's guides.