I take it there's no evidence yet that they've changed the text of people's profiles? I'd be worried that they start changing vendors' PGP keys. Also, has anyone found an address that has been sent BTC?