How many Bitcoins were actually paid to the WannaCry authors so far? | Hacker News Reader