Document changes in #7968