michaelg/dev: links for lively-console