Re #9572. Updating algorithm docs.