dev/pfaff/lazy/package-summary.html