Update documentation for the dev branch with recent changes