Did Linus Torvalds backdoor Linux random number generation? | Hacker News Reader