Updated generated documentation (developer 4.0).