Update documentation with Michael's new logging stuff.