Maintenance: clean out obsolete TODOs.