If this PR makes an externally-visible change in behavior or API, please add an appropriate line to `docs/changelog.txt`.