issue #21986: documentation