Update documentation to reflect the current state of affairs.