Normally this would sound like bad news, but in this case its actually good news because this is bringing more publicity to bitcoin, and any publicity is good publicity. Even bad publicity.
Bad publicity is generally not good for something like Bitcoin.
I would not say that this would be bad publicity. It is not any different then the publicity that real estate would get from an announcement that a house is being sold by the US Marshals, only that most people know what real estate is, most people don't know what bitcoin is.