Update lean-resources.md