Remove some outdated TODOs.

They’re TODONE!