Further work on the new version of the documentation