This is such a fundamental property of the system that we forgot to
document it.

Fixes #6818