Yes, perhaps they should have gone to court over it but I doubt the court would have ruled in their favor. All of this proves that their encryption works and they actually do not have a way to bypass it themselves. However it also proves that many people don't think about linking a supposedly anonymous email account with their real name recovery email. If you don't do that there is no known threat against your data at protonmail.