Fix TODOs in federation intro