When did Linux/x86 overtake proprietary Unix/RISC? | Hacker News Reader