Continuing or starting an edit war wouldn't have solved anything. Directly seeking legal redress was refreshingly adult.

Wikimedia neglected to file a claim or hire a lawyer in this dispute. I suspect Wiki and Co. did not want any publicity brought to anyone finding legal redress outside of its own oversight procedures.