Rename 2013-11-1-SpecificationbyExample.html to 2013-11-1-lean.html