What we know – and still do not – about the worst ever cyber attack by the US government | Technology