Update documentation with latest developments