Update #78: add mail alerts and remove some olds TODOs