Re #9159 Add documentation