While this is obviously a perversion of justice, I'm not shedding many tears over shady domain landgrabbers losing their 'property'. It's unfortunate (and clearly shouldn't have been filed under seal) but the histrionic comments on anigbrowl's link about how this is going to kill the domain squatting 'business' just make me think "good."
If a startup had snagged one of these domains and had built a community or SEO with it, could you imagine that being taken away from them without any sort of due process?