Re #8623. Adding a 'real' short algorithm description.