Maybe we should not put TODOs in the dartdoc comment, but in a normal // comment below (or above) the dartdoc comment?