Updated generated documentation (developer 3.1).