Re #10256. More documentation.