remove lock file
markdown-ize some of the design document
Merge branch 'master' of github.com:LukeShu/leager
texify more of the design doc