It can take several months to register a copyright, so they may have started the process and took a gamble on how slow the court would move, knowing they could

It can take several months to register a copyright, so they may have started the process and took a gamble on how slow the court would move, knowing they could fallback on the works that were registered if it didn't work out.