Merge branch 'newtab'
Merge branch 'master' of github.com:langdev/log.langdev.org
Merge branch 'master' of github.com:langdev/log.langdev.org
Merge branch 'master' of github.com:langdev/log.langdev.org
Add license and authors info