Update documentation based on recent refactorings and other changes.