Update documentation and developer manual