(#3787)  Documentation.