BTW, a lot more fields could be final (all fields in TodoApp.dart actually)... I'm not a "final extremist" + not sure it worthwhile here... WDYT ?