The Collins plaintiffs never asked for 4617(f) to be overturned anyway (in fact, their Supreme Court brief also assumes the legality of 4617(f)!), and the Fifth Circuit en banc panel didn't address its legality either.
Excellent points! Can't argue with these FNMA Facts.