The Hitchhiker's Guide to Lean: Lessons from the Road