michaelg/dev: links for hola-flask