Augment documentation motivated by Martin's post on the mailing list.