Update documentation to reflect recent decisions.