Documenting Design-Pattern Instances: a Family of Experiments on Source Code Comprehensibility