I'd expect a more formal name, the
bitX format has been all over from bitcoin companies. I honestly didn't expect authorities to use it.
On a more serious note though, I don't think that this is necessarily bad for bitcoin. The fact that there's a publicly accessible ledger doesn't make it ideal for criminal transactions, I'd rather have criminals stop squatting on it, they make bitcoin look less legitimate. Also we have to appreciate that they took a more investigative approach other than doing the most illiberal thing and outright
banning bitcoin like certain governments did.