Update documentation and the mono submodule.