Linus reportedly didn’t intentionally name Linux after himself · Digg