Update lean-scaffolding.md