Remove obsolete TODOs #9

Because we decided not to care about this.